Alan was born only a few years ago so he is young. Bob who is considered nice was feeling rather rough today. In the snow sits Charlie, crying from being cold. Eric is nice and kind, but a little rough. If someone is cold and young, you'll see that they are kind. Pick someone blue, kind and big, and they are certain to be green as well. A quite nice person who is red and green is also big. Lucky for us, people that are round and red are kind to strangers. A human that's cold also means they are a human that is young. Nice people are cold people.
Alan is young.
("Alan" "is" "young" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
If someone is cold and young then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and kind and big then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is red and green and nice then they are big.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is round and red then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold then they are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is nice then they are cold.
((("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Charlie is cold.
True
1
proof
[(triple4)]
("Charlie" "is" "cold" "+")
triple4
Eric is not rough.
False
1
inv-proof
[(triple5)]
("Eric" "is" "rough" "-")
triple5
Bob is cold.
True
2
proof
[(((triple3) -> rule6))]
("Bob" "is" "cold" "+")
((triple3) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is not cold.
False
2
inv-proof
[(((triple3) -> rule6))]
("Bob" "is" "cold" "-")
((triple3) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Charlie is kind.
True
4
proof
[(((triple4 ((triple4) -> rule5)) -> rule1))]
("Charlie" "is" "kind" "+")
((triple4 ((triple4) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is not kind.
False
4
inv-proof
[(((triple4 ((triple4) -> rule5)) -> rule1))]
("Charlie" "is" "kind" "-")
((triple4 ((triple4) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Bob is kind.
True
6
proof
[(((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule5)) -> rule1))]
("Bob" "is" "kind" "+")
((((triple3) -> (rule6 % int3)) ((((triple3) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is not kind.
False
6
inv-proof
[(((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule5)) -> rule1))]
("Bob" "is" "kind" "-")
((((triple3) -> (rule6 % int3)) ((((triple3) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "green" "-")
Alan is green.
Unknown
rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "green" "+")
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "big" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "green" "+")
Alan is not round.
Unknown
inv-random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Alan is young.[(triple1)] Bob is nice.[(triple3)] Bob is rough.[(triple2)] Charlie is cold.[(triple4)] Eric is kind.[(triple7 OR ((((triple6) -> rule6) ((((triple6) -> rule6)) -> rule5)) -> rule1))] Eric is nice.[(triple6)] Eric is rough.[(triple5)] @1: Bob is cold.[(((triple3) -> rule6))] Charlie is young.[(((triple4) -> rule5))] Eric is cold.[(((triple6) -> rule6))] @2: Bob is young.[(((((triple3) -> rule6)) -> rule5))] Charlie is kind.[(((triple4 ((triple4) -> rule5)) -> rule1))] Eric is young.[(((((triple6) -> rule6)) -> rule5))] @3: Bob is kind.[(((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule5)) -> rule1))]
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Eric is kind.
("Eric" "is" "kind" "+")
triple7
((((triple6) -> (rule6 % int3)) ((((triple6) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is nice.
("Eric" "is" "nice" "+")
triple6
Eric is rough.
("Eric" "is" "rough" "+")
triple5
Bob is cold.
("Bob" "is" "cold" "+")
((triple3) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple4) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
((triple6) -> (rule6 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((((triple3) -> (rule6 % int2))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple4 ((triple4) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
((((triple6) -> (rule6 % int2))) -> (rule5 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
((((triple3) -> (rule6 % int3)) ((((triple3) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Alan was born only a few years ago so he is young.
Bob who is considered nice was feeling rather rough today.
In the snow sits Charlie, crying from being cold.
Eric is nice and kind, but a little rough.
If someone is cold and young, you'll see that they are kind.
Pick someone blue, kind and big, and they are certain to be green as well.
A quite nice person who is red and green is also big.
Lucky for us, people that are round and red are kind to strangers.
A human that's cold also means they are a human that is young.
Nice people are cold people.