In the snow sits Alan, crying from being cold. Dave always goes out of his way to show that he is kind to people. Eric is a young kid who is a bit rough and on the big side. He can be kind to some and lives a green lifestyle. Young Fred is wearing green pants. A cold person who is round but rough around the edges is big. Kind young people are red. People with red hair, rough skin and big teeth manage to be nice to people. Someone who is both red and blue will also be a nice person. A person who is nice and green with envy is round.
Alan is cold.
("Alan" "is" "cold" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is green.
("Fred" "is" "green" "+")
If someone is round and cold and rough then they are big.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and young then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is big and red and rough then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and blue then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and green then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
Dave is kind.
True
1
proof
[(triple2)]
("Dave" "is" "kind" "+")
triple2
Eric is not kind.
False
1
inv-proof
[(triple5)]
("Eric" "is" "kind" "-")
triple5
Eric is red.
True
3
proof
[(((triple5 triple3) -> rule2))]
("Eric" "is" "red" "+")
((triple5 triple3) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is not red.
False
3
inv-proof
[(((triple5 triple3) -> rule2))]
("Eric" "is" "red" "-")
((triple5 triple3) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is nice.
True
6
proof
[(((triple7 ((triple5 triple3) -> rule2) triple4) -> rule3))]
("Eric" "is" "nice" "+")
((triple7 ((triple5 triple3) -> (rule2 % int2)) triple4) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is not nice.
False
6
inv-proof
[(((triple7 ((triple5 triple3) -> rule2) triple4) -> rule3))]
("Eric" "is" "nice" "-")
((triple7 ((triple5 triple3) -> (rule2 % int2)) triple4) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is round.
True
8
proof
[(((((triple7 ((triple5 triple3) -> rule2) triple4) -> rule3) triple6) -> rule5))]
("Eric" "is" "round" "+")
((((triple7 ((triple5 triple3) -> (rule2 % int3)) triple4) -> (rule3 % int2)) triple6) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is not round.
False
8
inv-proof
[(((((triple7 ((triple5 triple3) -> rule2) triple4) -> rule3) triple6) -> rule5))]
("Eric" "is" "round" "-")
((((triple7 ((triple5 triple3) -> (rule2 % int3)) triple4) -> (rule3 % int2)) triple6) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Alan is not nice.
Unknown
inv-rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "nice" "-")
Alan is round.
Unknown
rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "round" "+")
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "round" "-")
Fred is big.
Unknown
rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "big" "+")
Alan is not rough.
Unknown
inv-random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "-")
Eric is cold.
Unknown
random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "+")
Alan is not young.
Unknown
inv-random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "-")
Alan is green.
Unknown
random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "+")
@0: Alan is cold.[(triple1)] Dave is kind.[(triple2)] Eric is big.[(triple7)] Eric is green.[(triple6)] Eric is kind.[(triple5)] Eric is rough.[(triple4)] Eric is young.[(triple3)] Fred is green.[(triple9)] Fred is young.[(triple8)] @1: Eric is red.[(((triple5 triple3) -> rule2))] @2: Eric is nice.[(((triple7 ((triple5 triple3) -> rule2) triple4) -> rule3))] @3: Eric is round.[(((((triple7 ((triple5 triple3) -> rule2) triple4) -> rule3) triple6) -> rule5))]
Alan is cold.
("Alan" "is" "cold" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Eric is big.
("Eric" "is" "big" "+")
triple7
Eric is green.
("Eric" "is" "green" "+")
triple6
Eric is kind.
("Eric" "is" "kind" "+")
triple5
Eric is rough.
("Eric" "is" "rough" "+")
triple4
Eric is young.
("Eric" "is" "young" "+")
triple3
Fred is green.
("Fred" "is" "green" "+")
triple9
Fred is young.
("Fred" "is" "young" "+")
triple8
Eric is red.
("Eric" "is" "red" "+")
((triple5 triple3) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
((triple7 ((triple5 triple3) -> (rule2 % int2)) triple4) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
((((triple7 ((triple5 triple3) -> (rule2 % int3)) triple4) -> (rule3 % int2)) triple6) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
In the snow sits Alan, crying from being cold.
Dave always goes out of his way to show that he is kind to people.
Eric is a young kid who is a bit rough and on the big side; He can be kind to some and lives a green lifestyle.
Young Fred is wearing green pants.
A cold person who is round but rough around the edges is big.
Kind young people are red.
People with red hair, rough skin and big teeth manage to be nice to people.
Someone who is both red and blue will also be a nice person.
A person who is nice and green with envy is round.