Red Alan is what folks call him, because he is quite red. Fred wears all blue. Harry became more and more round and nice and kind, but he couldn't stop being cold and big. A round person who is nice is young. A nice and cold person can be counted on to be a young person at the same time. A rather round and green person will be red. Round, young folks tend to feel blue. If a person is red, kind, and nice then they must be round. A nice and young aged person will definitely be green in color. When a round individual is nice to others, they are also feeling blue.
Alan is red.
("Alan" "is" "red" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is nice and round then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and cold then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is round and green then they are red.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is round and young then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and red and kind then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and young then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is round and nice then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
Harry is nice.
True
1
proof
[(triple4)]
("Harry" "is" "nice" "+")
triple4
Alan is not red.
False
1
inv-proof
[(triple1)]
("Alan" "is" "red" "-")
triple1
Harry is young.
True
3
proof
[(((triple4 triple3) -> rule1) OR ((triple4 triple6) -> rule2))]
("Harry" "is" "young" "+")
((triple4 triple3) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((triple4 triple6) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is not blue.
False
3
inv-proof
[(((triple3 triple4) -> rule7) OR ((triple3 ((triple4 triple3) -> rule1)) -> rule4) OR ((triple3 ((triple4 triple6) -> rule2)) -> rule4))]
("Harry" "is" "blue" "-")
((triple3 triple4) -> (rule7 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((triple3 ((triple4 triple3) -> (rule1 % int2))) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((triple3 ((triple4 triple6) -> (rule2 % int2))) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is green.
True
5
proof
[(((triple4 ((triple4 triple3) -> rule1)) -> rule6) OR ((triple4 ((triple4 triple6) -> rule2)) -> rule6))]
("Harry" "is" "green" "+")
((triple4 ((triple4 triple3) -> (rule1 % int2))) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((triple4 ((triple4 triple6) -> (rule2 % int2))) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is not green.
False
5
inv-proof
[(((triple4 ((triple4 triple3) -> rule1)) -> rule6) OR ((triple4 ((triple4 triple6) -> rule2)) -> rule6))]
("Harry" "is" "green" "-")
((triple4 ((triple4 triple3) -> (rule1 % int2))) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((triple4 ((triple4 triple6) -> (rule2 % int2))) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is red.
True
7
proof
[(((triple3 ((triple4 ((triple4 triple3) -> rule1)) -> rule6)) -> rule3) OR ((triple3 ((triple4 ((triple4 triple6) -> rule2)) -> rule6)) -> rule3))]
("Harry" "is" "red" "+")
((triple3 ((triple4 ((triple4 triple3) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((triple3 ((triple4 ((triple4 triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is not red.
False
7
inv-proof
[(((triple3 ((triple4 ((triple4 triple3) -> rule1)) -> rule6)) -> rule3) OR ((triple3 ((triple4 ((triple4 triple6) -> rule2)) -> rule6)) -> rule3))]
("Harry" "is" "red" "-")
((triple3 ((triple4 ((triple4 triple3) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((triple3 ((triple4 ((triple4 triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Alan is not green.
Unknown
inv-rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "green" "-")
Fred is young.
Unknown
rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "young" "+")
Alan is not blue.
Unknown
inv-rconc
[@2: Alan is blue.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Alan" "is" "blue" "-")
Dave is young.
Unknown
rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "young" "+")
Alan is not big.
Unknown
inv-random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "-")
Alan is nice.
Unknown
random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Alan is rough.
Unknown
random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "+")
@0: Alan is red.[(triple1)] Fred is blue.[(triple2)] Harry is big.[(triple7)] Harry is cold.[(triple6)] Harry is kind.[(triple5)] Harry is nice.[(triple4)] Harry is round.[(triple3)] @1: Harry is blue.[(((triple3 triple4) -> rule7) OR ((triple3 ((triple4 triple3) -> rule1)) -> rule4) OR ((triple3 ((triple4 triple6) -> rule2)) -> rule4))] Harry is young.[(((triple4 triple3) -> rule1) OR ((triple4 triple6) -> rule2))] @2: Harry is green.[(((triple4 ((triple4 triple3) -> rule1)) -> rule6) OR ((triple4 ((triple4 triple6) -> rule2)) -> rule6))] @3: Harry is red.[(((triple3 ((triple4 ((triple4 triple3) -> rule1)) -> rule6)) -> rule3) OR ((triple3 ((triple4 ((triple4 triple6) -> rule2)) -> rule6)) -> rule3))]
Alan is red.
("Alan" "is" "red" "+")
triple1
Fred is blue.
("Fred" "is" "blue" "+")
triple2
Harry is big.
("Harry" "is" "big" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
triple6
Harry is kind.
("Harry" "is" "kind" "+")
triple5
Harry is nice.
("Harry" "is" "nice" "+")
triple4
Harry is round.
("Harry" "is" "round" "+")
triple3
Harry is blue.
("Harry" "is" "blue" "+")
((triple3 triple4) -> (rule7 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((triple3 ((triple4 triple3) -> (rule1 % int2))) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((triple3 ((triple4 triple6) -> (rule2 % int2))) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
((triple4 triple3) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((triple4 triple6) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple4 ((triple4 triple3) -> (rule1 % int2))) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((triple4 ((triple4 triple6) -> (rule2 % int2))) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
((triple3 ((triple4 ((triple4 triple3) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((triple3 ((triple4 ((triple4 triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Red Alan is what folks call him, because he is quite red.
Fred wears all blue.
Harry became more and more round and nice and kind, but he couldn't stop being cold and big.
A round person who is nice is young.
A nice and cold person can be counted on to be a young person at the same time.
A rather round and green person will be red.
Round, young folks tend to feel blue.
If a person is red, kind, and nice then they must be round.
A nice and young aged person will definitely be green in color.
When a round individual is nice to others, they are also feeling blue.