Alan wears all blue. Dave is so young and darling he is kind to all the old people on the block. Red Fred is what folks call him, because he is quite red. Green eyed Harry is kind and nice. Since he is also big and round with rough skin he often turns red in the sun. A red colored and round person who is also young will be rather kind. A big person who looks blue is also going to look young. I've found that people with rough skin tend to be really nice but they also often feel blue. Like a blueberry, a big blue person is round as anything. I bet you didn't know that nice, kind, cold people happen to be red. If you meet a young and kind person who is also rough, they are cold, too.
Alan is blue.
("Alan" "is" "blue" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Fred is red.
("Fred" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is red and round and young then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and big then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and nice then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and big then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and kind and cold then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and young and kind then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Dave is young.
True
1
proof
[(triple2)]
("Dave" "is" "young" "+")
triple2
Harry is not red.
False
1
inv-proof
[(triple7 OR ((triple8 triple9 ((triple6 ((((triple6 triple8) -> rule3) triple11) -> rule2) triple9) -> rule6)) -> rule5))]
("Harry" "is" "red" "-")
triple7
((triple8 triple9 ((triple6 ((((triple6 triple8) -> (rule3 % int4)) triple11) -> (rule2 % int3)) triple9) -> (rule6 % int2))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is blue.
True
3
proof
[(((triple6 triple8) -> rule3))]
("Harry" "is" "blue" "+")
((triple6 triple8) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is not blue.
False
3
inv-proof
[(((triple6 triple8) -> rule3))]
("Harry" "is" "blue" "-")
((triple6 triple8) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
True
5
proof
[(((((triple6 triple8) -> rule3) triple11) -> rule2))]
("Harry" "is" "young" "+")
((((triple6 triple8) -> (rule3 % int2)) triple11) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is not young.
False
5
inv-proof
[(((((triple6 triple8) -> rule3) triple11) -> rule2))]
("Harry" "is" "young" "-")
((((triple6 triple8) -> (rule3 % int2)) triple11) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is cold.
True
8
proof
[(((triple6 ((((triple6 triple8) -> rule3) triple11) -> rule2) triple9) -> rule6) OR ((triple6 ((((triple6 triple8) -> rule3) triple11) -> rule2) ((triple7 triple5 ((((triple6 triple8) -> rule3) triple11) -> rule2)) -> rule1)) -> rule6) OR ((triple6 ((((triple6 triple8) -> rule3) triple11) -> rule2) ((triple7 ((((triple6 triple8) -> rule3) triple11) -> rule4) ((((triple6 triple8) -> rule3) triple11) -> rule2)) -> rule1)) -> rule6))]
("Harry" "is" "cold" "+")
((triple6 ((((triple6 triple8) -> (rule3 % int3)) triple11) -> (rule2 % int2)) triple9) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((triple6 ((((triple6 triple8) -> (rule3 % int4)) triple11) -> (rule2 % int3)) ((triple7 triple5 ((((triple6 triple8) -> (rule3 % int4)) triple11) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((triple6 ((((triple6 triple8) -> (rule3 % int5)) triple11) -> (rule2 % int4)) ((triple7 ((((triple6 triple8) -> (rule3 % int5)) triple11) -> (rule4 % int3)) ((((triple6 triple8) -> (rule3 % int5)) triple11) -> (rule2 % int4))) -> (rule1 % int2))) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
Harry is not cold.
False
8
inv-proof
[(((triple6 ((((triple6 triple8) -> rule3) triple11) -> rule2) triple9) -> rule6) OR ((triple6 ((((triple6 triple8) -> rule3) triple11) -> rule2) ((triple7 triple5 ((((triple6 triple8) -> rule3) triple11) -> rule2)) -> rule1)) -> rule6) OR ((triple6 ((((triple6 triple8) -> rule3) triple11) -> rule2) ((triple7 ((((triple6 triple8) -> rule3) triple11) -> rule4) ((((triple6 triple8) -> rule3) triple11) -> rule2)) -> rule1)) -> rule6))]
("Harry" "is" "cold" "-")
((triple6 ((((triple6 triple8) -> (rule3 % int3)) triple11) -> (rule2 % int2)) triple9) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((triple6 ((((triple6 triple8) -> (rule3 % int4)) triple11) -> (rule2 % int3)) ((triple7 triple5 ((((triple6 triple8) -> (rule3 % int4)) triple11) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((triple6 ((((triple6 triple8) -> (rule3 % int5)) triple11) -> (rule2 % int4)) ((triple7 ((((triple6 triple8) -> (rule3 % int5)) triple11) -> (rule4 % int3)) ((((triple6 triple8) -> (rule3 % int5)) triple11) -> (rule2 % int4))) -> (rule1 % int2))) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
Alan is not cold.
Unknown
inv-rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "cold" "-")
Alan is round.
Unknown
rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "round" "+")
Fred is not kind.
Unknown
inv-rconc
[@2: Fred is kind.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Fred" "is" "kind" "-")
Alan is young.
Unknown
rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "young" "+")
Fred is not big.
Unknown
inv-random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "-")
Fred is nice.
Unknown
random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
@0: Alan is blue.[(triple1)] Dave is kind.[(triple3)] Dave is young.[(triple2)] Fred is red.[(triple4)] Harry is big.[(triple11)] Harry is green.[(triple10)] Harry is kind.[(triple9 OR ((triple7 triple5 ((((triple6 triple8) -> rule3) triple11) -> rule2)) -> rule1) OR ((triple7 ((((triple6 triple8) -> rule3) triple11) -> rule4) ((((triple6 triple8) -> rule3) triple11) -> rule2)) -> rule1))] Harry is nice.[(triple8)] Harry is red.[(triple7 OR ((triple8 triple9 ((triple6 ((((triple6 triple8) -> rule3) triple11) -> rule2) triple9) -> rule6)) -> rule5))] Harry is rough.[(triple6)] Harry is round.[(triple5 OR ((((triple6 triple8) -> rule3) triple11) -> rule4))] @1: Harry is blue.[(((triple6 triple8) -> rule3))] @2: Harry is young.[(((((triple6 triple8) -> rule3) triple11) -> rule2))] @3: Harry is cold.[(((triple6 ((((triple6 triple8) -> rule3) triple11) -> rule2) triple9) -> rule6) OR ((triple6 ((((triple6 triple8) -> rule3) triple11) -> rule2) ((triple7 triple5 ((((triple6 triple8) -> rule3) triple11) -> rule2)) -> rule1)) -> rule6) OR ((triple6 ((((triple6 triple8) -> rule3) triple11) -> rule2) ((triple7 ((((triple6 triple8) -> rule3) triple11) -> rule4) ((((triple6 triple8) -> rule3) triple11) -> rule2)) -> rule1)) -> rule6))]
Alan is blue.
("Alan" "is" "blue" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple3
Dave is young.
("Dave" "is" "young" "+")
triple2
Fred is red.
("Fred" "is" "red" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple9
((triple7 triple5 ((((triple6 triple8) -> (rule3 % int3)) triple11) -> (rule2 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((triple7 ((((triple6 triple8) -> (rule3 % int4)) triple11) -> (rule4 % int3)) ((((triple6 triple8) -> (rule3 % int4)) triple11) -> (rule2 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
triple8
Harry is red.
("Harry" "is" "red" "+")
triple7
((triple8 triple9 ((triple6 ((((triple6 triple8) -> (rule3 % int4)) triple11) -> (rule2 % int3)) triple9) -> (rule6 % int2))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
triple6
Harry is round.
("Harry" "is" "round" "+")
triple5
((((triple6 triple8) -> (rule3 % int2)) triple11) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
((triple6 triple8) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((((triple6 triple8) -> (rule3 % int2)) triple11) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
((triple6 ((((triple6 triple8) -> (rule3 % int3)) triple11) -> (rule2 % int2)) triple9) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((triple6 ((((triple6 triple8) -> (rule3 % int4)) triple11) -> (rule2 % int3)) ((triple7 triple5 ((((triple6 triple8) -> (rule3 % int4)) triple11) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((triple6 ((((triple6 triple8) -> (rule3 % int5)) triple11) -> (rule2 % int4)) ((triple7 ((((triple6 triple8) -> (rule3 % int5)) triple11) -> (rule4 % int3)) ((((triple6 triple8) -> (rule3 % int5)) triple11) -> (rule2 % int4))) -> (rule1 % int2))) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
Alan wears all blue.
Dave is so young and darling he is kind to all the old people on the block.
Red Fred is what folks call him, because he is quite red.
Green eyed Harry is kind and nice; Since he is also big and round with rough skin he often turns red in the sun.
A red colored and round person who is also young will be rather kind.
A big person who looks blue is also going to look young.
I've found that people with rough skin tend to be really nice but they also often feel blue.
Like a blueberry, a big blue person is round as anything.
I bet you didn't know that nice, kind, cold people happen to be red.
If you meet a young and kind person who is also rough, they are cold, too.