To be young and red like Alan is pretty nice, which Green Alan is also. Bob ate some rotten meat and now feels green. For someone so round, Gary turns blue when he's cold. No wonder he's so rough and red with anger all the time. A big person who looks blue is also going to look young. Anyone who is round and also cold will surely be big as well. A person who is cold, rough and young is also nice. A nice person who is downhearted, blue, and green with envy is rough.
Alan is young.
("Alan" "is" "young" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is green.
("Alan" "is" "green" "+")
Bob is green.
("Bob" "is" "green" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is blue and big then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is round and cold then they are big.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and young and rough then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and blue and green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
Alan is nice.
True
1
proof
[(triple3)]
("Alan" "is" "nice" "+")
triple3
Alan is not red.
False
1
inv-proof
[(triple2)]
("Alan" "is" "red" "-")
triple2
Gary is big.
True
3
proof
[(((triple6 triple9) -> rule2))]
("Gary" "is" "big" "+")
((triple6 triple9) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is not big.
False
3
inv-proof
[(((triple6 triple9) -> rule2))]
("Gary" "is" "big" "-")
((triple6 triple9) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is young.
True
5
proof
[(((triple10 ((triple6 triple9) -> rule2)) -> rule1))]
("Gary" "is" "young" "+")
((triple10 ((triple6 triple9) -> (rule2 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is not young.
False
5
inv-proof
[(((triple10 ((triple6 triple9) -> rule2)) -> rule1))]
("Gary" "is" "young" "-")
((triple10 ((triple6 triple9) -> (rule2 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is nice.
True
8
proof
[(((triple9 ((triple10 ((triple6 triple9) -> rule2)) -> rule1) triple7) -> rule3))]
("Gary" "is" "nice" "+")
((triple9 ((triple10 ((triple6 triple9) -> (rule2 % int3))) -> (rule1 % int2)) triple7) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is not nice.
False
8
inv-proof
[(((triple9 ((triple10 ((triple6 triple9) -> rule2)) -> rule1) triple7) -> rule3))]
("Gary" "is" "nice" "-")
((triple9 ((triple10 ((triple6 triple9) -> (rule2 % int3))) -> (rule1 % int2)) triple7) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "young" "-")
Harry is rough.
Unknown
rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "rough" "+")
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "nice" "-")
Bob is rough.
Unknown
rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "rough" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Alan is green.[(triple4)] Alan is nice.[(triple3)] Alan is red.[(triple2)] Alan is young.[(triple1)] Bob is green.[(triple5)] Gary is blue.[(triple10)] Gary is cold.[(triple9)] Gary is red.[(triple8)] Gary is rough.[(triple7)] Gary is round.[(triple6)] @1: Gary is big.[(((triple6 triple9) -> rule2))] @2: Gary is young.[(((triple10 ((triple6 triple9) -> rule2)) -> rule1))] @3: Gary is nice.[(((triple9 ((triple10 ((triple6 triple9) -> rule2)) -> rule1) triple7) -> rule3))]
Alan is green.
("Alan" "is" "green" "+")
triple4
Alan is nice.
("Alan" "is" "nice" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Gary is round.
("Gary" "is" "round" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
((triple6 triple9) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple10 ((triple6 triple9) -> (rule2 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
((triple9 ((triple10 ((triple6 triple9) -> (rule2 % int3))) -> (rule1 % int2)) triple7) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
To be young and red like Alan is pretty nice, which Green Alan is also.
Bob ate some rotten meat and now feels green.
For someone so round, Gary turns blue when he's cold; No wonder he's so rough and red with anger all the time.
A big person who looks blue is also going to look young.
Anyone who is round and also cold will surely be big as well.
A person who is cold, rough and young is also nice.
A nice person who is downhearted, blue, and green with envy is rough.