Alan is a very rough person. As expected, he's also a very cold and big individual. Dave is a kind and red colored guy. Eric realized he was round and rough, and he decided to be nice and kind as well. We called someone with green, round eyes, blue for some reason. A person described as cold and kind can also be described as nice. Anyone who is known to be kind, nice, and round is generally also known to be a green color. Young and nice people are ultimately cold. A blue, rough and round person will also be a big person.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is big.
("Alan" "is" "big" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
If someone is green and round then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and kind then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and nice and round then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is young and nice then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and rough and round then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
Eric is nice.
True
1
proof
[(triple8)]
("Eric" "is" "nice" "+")
triple8
Alan is not cold.
False
1
inv-proof
[(triple2)]
("Alan" "is" "cold" "-")
triple2
Eric is green.
True
4
proof
[(((triple9 triple8 triple6) -> rule3))]
("Eric" "is" "green" "+")
((triple9 triple8 triple6) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is not green.
False
4
inv-proof
[(((triple9 triple8 triple6) -> rule3))]
("Eric" "is" "green" "-")
((triple9 triple8 triple6) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is blue.
True
6
proof
[(((((triple9 triple8 triple6) -> rule3) triple6) -> rule1))]
("Eric" "is" "blue" "+")
((((triple9 triple8 triple6) -> (rule3 % int2)) triple6) -> (rule1 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is not blue.
False
6
inv-proof
[(((((triple9 triple8 triple6) -> rule3) triple6) -> rule1))]
("Eric" "is" "blue" "-")
((((triple9 triple8 triple6) -> (rule3 % int2)) triple6) -> (rule1 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is big.
True
9
proof
[(((((((triple9 triple8 triple6) -> rule3) triple6) -> rule1) triple7 triple6) -> rule5))]
("Eric" "is" "big" "+")
((((((triple9 triple8 triple6) -> (rule3 % int3)) triple6) -> (rule1 % int2)) triple7 triple6) -> (rule5 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is not big.
False
9
inv-proof
[(((((((triple9 triple8 triple6) -> rule3) triple6) -> rule1) triple7 triple6) -> rule5))]
("Eric" "is" "big" "-")
((((((triple9 triple8 triple6) -> (rule3 % int3)) triple6) -> (rule1 % int2)) triple7 triple6) -> (rule5 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Fred is not nice.
Unknown
inv-rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "nice" "-")
Dave is blue.
Unknown
rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "blue" "+")
Dave is not green.
Unknown
inv-rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "green" "-")
Dave is nice.
Unknown
rconc
[@2: Dave is nice.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Dave" "is" "nice" "+")
Fred is not rough.
Unknown
inv-random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "-")
Eric is red.
Unknown
random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "+")
Fred is not kind.
Unknown
inv-random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "-")
Alan is round.
Unknown
random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "+")
@0: Alan is big.[(triple3)] Alan is cold.[(triple2)] Alan is rough.[(triple1)] Dave is kind.[(triple5)] Dave is red.[(triple4)] Eric is kind.[(triple9)] Eric is nice.[(triple8)] Eric is rough.[(triple7)] Eric is round.[(triple6)] @1: Eric is green.[(((triple9 triple8 triple6) -> rule3))] @2: Eric is blue.[(((((triple9 triple8 triple6) -> rule3) triple6) -> rule1))] @3: Eric is big.[(((((((triple9 triple8 triple6) -> rule3) triple6) -> rule1) triple7 triple6) -> rule5))]
Alan is big.
("Alan" "is" "big" "+")
triple3
Alan is cold.
("Alan" "is" "cold" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple5
Dave is red.
("Dave" "is" "red" "+")
triple4
Eric is kind.
("Eric" "is" "kind" "+")
triple9
Eric is nice.
("Eric" "is" "nice" "+")
triple8
Eric is rough.
("Eric" "is" "rough" "+")
triple7
Eric is round.
("Eric" "is" "round" "+")
triple6
Eric is green.
("Eric" "is" "green" "+")
((triple9 triple8 triple6) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
((((triple9 triple8 triple6) -> (rule3 % int2)) triple6) -> (rule1 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
((((((triple9 triple8 triple6) -> (rule3 % int3)) triple6) -> (rule1 % int2)) triple7 triple6) -> (rule5 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Alan is a very rough person; As expected, he's also a very cold and big individual.
Dave is a kind and red colored guy.
Eric realized he was round and rough, and he decided to be nice and kind as well.
We called someone with green, round eyes, blue for some reason.
A person described as cold and kind can also be described as nice.
Anyone who is known to be kind, nice, and round is generally also known to be a green color.
Young and nice people are ultimately cold.
A blue, rough and round person will also be a big person.