Because Alan gets cold easily he tends to appear round from bundling up. Bob is a red fellow who habitually looks blue. He's often cold. Gary is green, which is a possible explanation for why he is so nice. Even though Harry is rough, he nice but cold and blue. A nice person who is always seen to be wearing green clothes will be rather big in size. A rough person that is cold towards others is green. Kind people,though green,tend to be nice. People who are nice, big, and also rough, are considered red.
Alan is round.
("Alan" "is" "round" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is green and nice then they are big.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and cold then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and green then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and big and rough then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
Harry is nice.
True
1
proof
[(triple9)]
("Harry" "is" "nice" "+")
triple9
Harry is not cold.
False
1
inv-proof
[(triple10)]
("Harry" "is" "cold" "-")
triple10
Harry is green.
True
3
proof
[(((triple8 triple10) -> rule2))]
("Harry" "is" "green" "+")
((triple8 triple10) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is not green.
False
3
inv-proof
[(((triple8 triple10) -> rule2))]
("Harry" "is" "green" "-")
((triple8 triple10) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
True
5
proof
[(((((triple8 triple10) -> rule2) triple9) -> rule1))]
("Harry" "is" "big" "+")
((((triple8 triple10) -> (rule2 % int2)) triple9) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is not big.
False
5
inv-proof
[(((((triple8 triple10) -> rule2) triple9) -> rule1))]
("Harry" "is" "big" "-")
((((triple8 triple10) -> (rule2 % int2)) triple9) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
True
8
proof
[(((triple9 ((((triple8 triple10) -> rule2) triple9) -> rule1) triple8) -> rule4))]
("Harry" "is" "red" "+")
((triple9 ((((triple8 triple10) -> (rule2 % int3)) triple9) -> (rule1 % int2)) triple8) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is not red.
False
8
inv-proof
[(((triple9 ((((triple8 triple10) -> rule2) triple9) -> rule1) triple8) -> rule4))]
("Harry" "is" "red" "-")
((triple9 ((((triple8 triple10) -> (rule2 % int3)) triple9) -> (rule1 % int2)) triple8) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Alan is not green.
Unknown
inv-rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "green" "-")
Alan is nice.
Unknown
rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "nice" "+")
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "red" "-")
Bob is nice.
Unknown
rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "nice" "+")
Alan is not rough.
Unknown
inv-random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "-")
Alan is kind.
Unknown
random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Alan is cold.[(triple2)] Alan is round.[(triple1)] Bob is blue.[(triple5)] Bob is cold.[(triple4)] Bob is red.[(triple3)] Gary is green.[(triple7)] Gary is nice.[(triple6)] Harry is blue.[(triple11)] Harry is cold.[(triple10)] Harry is nice.[(triple9)] Harry is rough.[(triple8)] @1: Gary is big.[(((triple7 triple6) -> rule1))] Harry is green.[(((triple8 triple10) -> rule2))] @2: Harry is big.[(((((triple8 triple10) -> rule2) triple9) -> rule1))] @3: Harry is red.[(((triple9 ((((triple8 triple10) -> rule2) triple9) -> rule1) triple8) -> rule4))]
Alan is cold.
("Alan" "is" "cold" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple3
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Gary is big.
("Gary" "is" "big" "+")
((triple7 triple6) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple8 triple10) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((((triple8 triple10) -> (rule2 % int2)) triple9) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
((triple9 ((((triple8 triple10) -> (rule2 % int3)) triple9) -> (rule1 % int2)) triple8) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Because Alan gets cold easily he tends to appear round from bundling up.
Bob is a red fellow who habitually looks blue; He's often cold.
Gary is green, which is a possible explanation for why he is so nice.
Even though Harry is rough, he nice but cold and blue.
A nice person who is always seen to be wearing green clothes will be rather big in size.
A rough person that is cold towards others is green.
Kind people,though green,tend to be nice.
People who are nice, big, and also rough, are considered red.