Big, red Alan is quite kind. Bob is big and rough. Dave is so big, he is often blue, but always kind. Even though Eric feels blue because of how round he is, he is still nice and kind to people that talk to him. A person who's big and kind will also be cold. Kind people that are rough and round are also considered big. Anyone that is a red, nice soul will be big, too. Nice young people who are round are also blue. People who are red, young, and round are also blue. People that are blue, cold, and big, are rather rough. Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.
Alan is red.
("Alan" "is" "red" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is blue.
("Eric" "is" "blue" "+")
If someone is big and kind then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and kind and round then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is red and nice then they are big.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and young and round then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and red and young then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and cold and big then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and rough and big then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
Alan is big.
True
1
proof
[(triple3)]
("Alan" "is" "big" "+")
triple3
Alan is not red.
False
1
inv-proof
[(triple1)]
("Alan" "is" "red" "-")
triple1
Dave is cold.
True
3
proof
[(((triple8 triple6) -> rule1))]
("Dave" "is" "cold" "+")
((triple8 triple6) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Alan is not cold.
False
3
inv-proof
[(((triple3 triple2) -> rule1))]
("Alan" "is" "cold" "-")
((triple3 triple2) -> (rule1 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Dave is rough.
True
6
proof
[(((triple7 ((triple8 triple6) -> rule1) triple8) -> rule6))]
("Dave" "is" "rough" "+")
((triple7 ((triple8 triple6) -> (rule1 % int2)) triple8) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is not rough.
False
6
inv-proof
[(((triple7 ((triple8 triple6) -> rule1) triple8) -> rule6))]
("Dave" "is" "rough" "-")
((triple7 ((triple8 triple6) -> (rule1 % int2)) triple8) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is nice.
True
9
proof
[(((triple7 ((triple7 ((triple8 triple6) -> rule1) triple8) -> rule6) triple8) -> rule7))]
("Dave" "is" "nice" "+")
((triple7 ((triple7 ((triple8 triple6) -> (rule1 % int3)) triple8) -> (rule6 % int2)) triple8) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is not nice.
False
9
inv-proof
[(((triple7 ((triple7 ((triple8 triple6) -> rule1) triple8) -> rule6) triple8) -> rule7))]
("Dave" "is" "nice" "-")
((triple7 ((triple7 ((triple8 triple6) -> (rule1 % int3)) triple8) -> (rule6 % int2)) triple8) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Eric is not rough.
Unknown
inv-rconc
[@2: Eric is rough.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Eric" "is" "rough" "-")
Alan is blue.
Unknown
rconc
[@1: Alan is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "blue" "+")
Alan is not nice.
Unknown
inv-rconc
[@2: Alan is nice.[CWA. Example of deepest failure = (rule7 <- rule4 <- FAIL)]]
("Alan" "is" "nice" "-")
Eric is big.
Unknown
rconc
[@3: Eric is big.[CWA. Example of deepest failure = (rule2 <- rule6 <- rule3 <- FAIL)]]
("Eric" "is" "big" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Eric is red.
Unknown
random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "+")
Alan is not round.
Unknown
inv-random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "-")
Eric is young.
Unknown
random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "+")
@0: Alan is big.[(triple3)] Alan is kind.[(triple2)] Alan is red.[(triple1)] Bob is big.[(triple5)] Bob is rough.[(triple4)] Dave is big.[(triple8)] Dave is blue.[(triple7)] Dave is kind.[(triple6)] Eric is blue.[(triple12)] Eric is kind.[(triple11)] Eric is nice.[(triple10)] Eric is round.[(triple9)] @1: Alan is cold.[(((triple3 triple2) -> rule1))] Dave is cold.[(((triple8 triple6) -> rule1))] @2: Dave is rough.[(((triple7 ((triple8 triple6) -> rule1) triple8) -> rule6))] @3: Dave is nice.[(((triple7 ((triple7 ((triple8 triple6) -> rule1) triple8) -> rule6) triple8) -> rule7))]
Alan is big.
("Alan" "is" "big" "+")
triple3
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple5
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Dave is big.
("Dave" "is" "big" "+")
triple8
Dave is blue.
("Dave" "is" "blue" "+")
triple7
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Eric is blue.
("Eric" "is" "blue" "+")
triple12
Eric is kind.
("Eric" "is" "kind" "+")
triple11
Eric is nice.
("Eric" "is" "nice" "+")
triple10
Eric is round.
("Eric" "is" "round" "+")
triple9
Alan is cold.
("Alan" "is" "cold" "+")
((triple3 triple2) -> (rule1 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((triple8 triple6) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
((triple7 ((triple8 triple6) -> (rule1 % int2)) triple8) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
((triple7 ((triple7 ((triple8 triple6) -> (rule1 % int3)) triple8) -> (rule6 % int2)) triple8) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Big, red Alan is quite kind.
Bob is big and rough.
Dave is so big, he is often blue, but always kind.
Even though Eric feels blue because of how round he is, he is still nice and kind to people that talk to him.
A person who's big and kind will also be cold.
Kind people that are rough and round are also considered big.
Anyone that is a red, nice soul will be big, too.
Nice young people who are round are also blue.
People who are red, young, and round are also blue.
People that are blue, cold, and big, are rather rough.
Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.