Charlie wears all blue. Eric always goes out of his way to show that he is kind to people. Fred is nice but he's pretty inexperienced, pretty green. He's too big to fit in the hot tub so he stays cold which makes him blue. As much as Harry is nice, he is also cold and often feels blue. Young people with red skin who are a bit downhearted and blue are kind. Big and green people who feel cold are usually young in age. Young and nice people have great big smiles. I have found that young, blue, and big individuals are also red. Young people tend to rough and nice, but they are also red. If a person is red, kind, and nice then they must be round. Young people that are nice and green tend to be blue.
Charlie is blue.
("Charlie" "is" "blue" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is young and blue and red then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and big and cold then they are young.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is young and nice then they are big.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is young and blue and big then they are red.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If someone is young and rough and nice then they are red.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
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 young and nice and green then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
Fred is green.
True
1
proof
[(triple4)]
("Fred" "is" "green" "+")
triple4
Fred is not nice.
False
1
inv-proof
[(triple3)]
("Fred" "is" "nice" "-")
triple3
Fred is young.
True
4
proof
[(((triple4 triple7 triple5) -> rule2))]
("Fred" "is" "young" "+")
((triple4 triple7 triple5) -> (rule2 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is not young.
False
4
inv-proof
[(((triple4 triple7 triple5) -> rule2))]
("Fred" "is" "young" "-")
((triple4 triple7 triple5) -> (rule2 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is red.
True
7
proof
[(((((triple4 triple7 triple5) -> rule2) triple6 triple7) -> rule4) OR ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) triple7) -> rule4))]
("Fred" "is" "red" "+")
((((triple4 triple7 triple5) -> (rule2 % int2)) triple6 triple7) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
((((triple4 triple7 triple5) -> (rule2 % int3)) ((((triple4 triple7 triple5) -> (rule2 % int3)) triple3 triple4) -> (rule7 % int2)) triple7) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Fred is not red.
False
7
inv-proof
[(((((triple4 triple7 triple5) -> rule2) triple6 triple7) -> rule4) OR ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) triple7) -> rule4))]
("Fred" "is" "red" "-")
((((triple4 triple7 triple5) -> (rule2 % int2)) triple6 triple7) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
((((triple4 triple7 triple5) -> (rule2 % int3)) ((((triple4 triple7 triple5) -> (rule2 % int3)) triple3 triple4) -> (rule7 % int2)) triple7) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Fred is kind.
True
13
proof
[(((((triple4 triple7 triple5) -> rule2) triple6 ((((triple4 triple7 triple5) -> rule2) triple6 triple7) -> rule4)) -> rule1) OR ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) ((((triple4 triple7 triple5) -> rule2) triple6 triple7) -> rule4)) -> rule1) OR ((((triple4 triple7 triple5) -> rule2) triple6 ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) triple7) -> rule4)) -> rule1) OR ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) triple7) -> rule4)) -> rule1))]
("Fred" "is" "kind" "+")
((((triple4 triple7 triple5) -> (rule2 % int3)) triple6 ((((triple4 triple7 triple5) -> (rule2 % int3)) triple6 triple7) -> (rule4 % int2))) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
((((triple4 triple7 triple5) -> (rule2 % int4)) ((((triple4 triple7 triple5) -> (rule2 % int4)) triple3 triple4) -> (rule7 % int3)) ((((triple4 triple7 triple5) -> (rule2 % int4)) triple6 triple7) -> (rule4 % int2))) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is young.
("Fred" "is" "young" "+")
int4
((((triple4 triple7 triple5) -> (rule2 % int4)) triple6 ((((triple4 triple7 triple5) -> (rule2 % int4)) ((((triple4 triple7 triple5) -> (rule2 % int4)) triple3 triple4) -> (rule7 % int3)) triple7) -> (rule4 % int2))) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is young.
("Fred" "is" "young" "+")
int4
((((triple4 triple7 triple5) -> (rule2 % int4)) ((((triple4 triple7 triple5) -> (rule2 % int4)) triple3 triple4) -> (rule7 % int3)) ((((triple4 triple7 triple5) -> (rule2 % int4)) ((((triple4 triple7 triple5) -> (rule2 % int4)) triple3 triple4) -> (rule7 % int3)) triple7) -> (rule4 % int2))) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is young.
("Fred" "is" "young" "+")
int4
Fred is not kind.
False
13
inv-proof
[(((((triple4 triple7 triple5) -> rule2) triple6 ((((triple4 triple7 triple5) -> rule2) triple6 triple7) -> rule4)) -> rule1) OR ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) ((((triple4 triple7 triple5) -> rule2) triple6 triple7) -> rule4)) -> rule1) OR ((((triple4 triple7 triple5) -> rule2) triple6 ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) triple7) -> rule4)) -> rule1) OR ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) triple7) -> rule4)) -> rule1))]
("Fred" "is" "kind" "-")
((((triple4 triple7 triple5) -> (rule2 % int3)) triple6 ((((triple4 triple7 triple5) -> (rule2 % int3)) triple6 triple7) -> (rule4 % int2))) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
((((triple4 triple7 triple5) -> (rule2 % int4)) ((((triple4 triple7 triple5) -> (rule2 % int4)) triple3 triple4) -> (rule7 % int3)) ((((triple4 triple7 triple5) -> (rule2 % int4)) triple6 triple7) -> (rule4 % int2))) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is young.
("Fred" "is" "young" "+")
int4
((((triple4 triple7 triple5) -> (rule2 % int4)) triple6 ((((triple4 triple7 triple5) -> (rule2 % int4)) ((((triple4 triple7 triple5) -> (rule2 % int4)) triple3 triple4) -> (rule7 % int3)) triple7) -> (rule4 % int2))) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is young.
("Fred" "is" "young" "+")
int4
((((triple4 triple7 triple5) -> (rule2 % int4)) ((((triple4 triple7 triple5) -> (rule2 % int4)) triple3 triple4) -> (rule7 % int3)) ((((triple4 triple7 triple5) -> (rule2 % int4)) ((((triple4 triple7 triple5) -> (rule2 % int4)) triple3 triple4) -> (rule7 % int3)) triple7) -> (rule4 % int2))) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is young.
("Fred" "is" "young" "+")
int4
Fred is round.
True
22
proof
[(((triple3 ((((triple4 triple7 triple5) -> rule2) triple6 triple7) -> rule4) ((((triple4 triple7 triple5) -> rule2) triple6 ((((triple4 triple7 triple5) -> rule2) triple6 triple7) -> rule4)) -> rule1)) -> rule6) OR ((triple3 ((((triple4 triple7 triple5) -> rule2) triple6 triple7) -> rule4) ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) ((((triple4 triple7 triple5) -> rule2) triple6 triple7) -> rule4)) -> rule1)) -> rule6) OR ((triple3 ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) triple7) -> rule4) ((((triple4 triple7 triple5) -> rule2) triple6 ((((triple4 triple7 triple5) -> rule2) triple6 triple7) -> rule4)) -> rule1)) -> rule6) OR ((triple3 ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) triple7) -> rule4) ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) ((((triple4 triple7 triple5) -> rule2) triple6 triple7) -> rule4)) -> rule1)) -> rule6) OR ((triple3 ((((triple4 triple7 triple5) -> rule2) triple6 triple7) -> rule4) ((((triple4 triple7 triple5) -> rule2) triple6 ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) triple7) -> rule4)) -> rule1)) -> rule6) OR ((triple3 ((((triple4 triple7 triple5) -> rule2) triple6 triple7) -> rule4) ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) triple7) -> rule4)) -> rule1)) -> rule6) OR ((triple3 ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) triple7) -> rule4) ((((triple4 triple7 triple5) -> rule2) triple6 ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) triple7) -> rule4)) -> rule1)) -> rule6) OR ((triple3 ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) triple7) -> rule4) ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) triple7) -> rule4)) -> rule1)) -> rule6))]
("Fred" "is" "round" "+")
((triple3 ((((triple4 triple7 triple5) -> (rule2 % int4)) triple6 triple7) -> (rule4 % int3)) ((((triple4 triple7 triple5) -> (rule2 % int4)) triple6 ((((triple4 triple7 triple5) -> (rule2 % int4)) triple6 triple7) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is young.
("Fred" "is" "young" "+")
int4
((triple3 ((((triple4 triple7 triple5) -> (rule2 % int5)) triple6 triple7) -> (rule4 % int4)) ((((triple4 triple7 triple5) -> (rule2 % int5)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple3 triple4) -> (rule7 % int3)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple6 triple7) -> (rule4 % int4))) -> (rule1 % int2))) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Fred is young.
("Fred" "is" "young" "+")
int5
((triple3 ((((triple4 triple7 triple5) -> (rule2 % int5)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple3 triple4) -> (rule7 % int4)) triple7) -> (rule4 % int3)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple6 ((((triple4 triple7 triple5) -> (rule2 % int5)) triple6 triple7) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
Fred is young.
("Fred" "is" "young" "+")
int5
((triple3 ((((triple4 triple7 triple5) -> (rule2 % int5)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple3 triple4) -> (rule7 % int4)) triple7) -> (rule4 % int3)) ((((triple4 triple7 triple5) -> (rule2 % int5)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple3 triple4) -> (rule7 % int4)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple6 triple7) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
Fred is young.
("Fred" "is" "young" "+")
int5
((triple3 ((((triple4 triple7 triple5) -> (rule2 % int5)) triple6 triple7) -> (rule4 % int4)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple6 ((((triple4 triple7 triple5) -> (rule2 % int5)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple3 triple4) -> (rule7 % int3)) triple7) -> (rule4 % int4))) -> (rule1 % int2))) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Fred is young.
("Fred" "is" "young" "+")
int5
((triple3 ((((triple4 triple7 triple5) -> (rule2 % int5)) triple6 triple7) -> (rule4 % int4)) ((((triple4 triple7 triple5) -> (rule2 % int5)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple3 triple4) -> (rule7 % int3)) ((((triple4 triple7 triple5) -> (rule2 % int5)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple3 triple4) -> (rule7 % int3)) triple7) -> (rule4 % int4))) -> (rule1 % int2))) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Fred is young.
("Fred" "is" "young" "+")
int5
((triple3 ((((triple4 triple7 triple5) -> (rule2 % int5)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple3 triple4) -> (rule7 % int4)) triple7) -> (rule4 % int3)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple6 ((((triple4 triple7 triple5) -> (rule2 % int5)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple3 triple4) -> (rule7 % int4)) triple7) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
Fred is young.
("Fred" "is" "young" "+")
int5
((triple3 ((((triple4 triple7 triple5) -> (rule2 % int5)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple3 triple4) -> (rule7 % int4)) triple7) -> (rule4 % int3)) ((((triple4 triple7 triple5) -> (rule2 % int5)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple3 triple4) -> (rule7 % int4)) ((((triple4 triple7 triple5) -> (rule2 % int5)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple3 triple4) -> (rule7 % int4)) triple7) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
Fred is young.
("Fred" "is" "young" "+")
int5
Fred is not round.
False
22
inv-proof
[(((triple3 ((((triple4 triple7 triple5) -> rule2) triple6 triple7) -> rule4) ((((triple4 triple7 triple5) -> rule2) triple6 ((((triple4 triple7 triple5) -> rule2) triple6 triple7) -> rule4)) -> rule1)) -> rule6) OR ((triple3 ((((triple4 triple7 triple5) -> rule2) triple6 triple7) -> rule4) ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) ((((triple4 triple7 triple5) -> rule2) triple6 triple7) -> rule4)) -> rule1)) -> rule6) OR ((triple3 ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) triple7) -> rule4) ((((triple4 triple7 triple5) -> rule2) triple6 ((((triple4 triple7 triple5) -> rule2) triple6 triple7) -> rule4)) -> rule1)) -> rule6) OR ((triple3 ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) triple7) -> rule4) ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) ((((triple4 triple7 triple5) -> rule2) triple6 triple7) -> rule4)) -> rule1)) -> rule6) OR ((triple3 ((((triple4 triple7 triple5) -> rule2) triple6 triple7) -> rule4) ((((triple4 triple7 triple5) -> rule2) triple6 ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) triple7) -> rule4)) -> rule1)) -> rule6) OR ((triple3 ((((triple4 triple7 triple5) -> rule2) triple6 triple7) -> rule4) ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) triple7) -> rule4)) -> rule1)) -> rule6) OR ((triple3 ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) triple7) -> rule4) ((((triple4 triple7 triple5) -> rule2) triple6 ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) triple7) -> rule4)) -> rule1)) -> rule6) OR ((triple3 ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) triple7) -> rule4) ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) triple7) -> rule4)) -> rule1)) -> rule6))]
("Fred" "is" "round" "-")
((triple3 ((((triple4 triple7 triple5) -> (rule2 % int4)) triple6 triple7) -> (rule4 % int3)) ((((triple4 triple7 triple5) -> (rule2 % int4)) triple6 ((((triple4 triple7 triple5) -> (rule2 % int4)) triple6 triple7) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is young.
("Fred" "is" "young" "+")
int4
((triple3 ((((triple4 triple7 triple5) -> (rule2 % int5)) triple6 triple7) -> (rule4 % int4)) ((((triple4 triple7 triple5) -> (rule2 % int5)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple3 triple4) -> (rule7 % int3)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple6 triple7) -> (rule4 % int4))) -> (rule1 % int2))) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Fred is young.
("Fred" "is" "young" "+")
int5
((triple3 ((((triple4 triple7 triple5) -> (rule2 % int5)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple3 triple4) -> (rule7 % int4)) triple7) -> (rule4 % int3)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple6 ((((triple4 triple7 triple5) -> (rule2 % int5)) triple6 triple7) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
Fred is young.
("Fred" "is" "young" "+")
int5
((triple3 ((((triple4 triple7 triple5) -> (rule2 % int5)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple3 triple4) -> (rule7 % int4)) triple7) -> (rule4 % int3)) ((((triple4 triple7 triple5) -> (rule2 % int5)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple3 triple4) -> (rule7 % int4)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple6 triple7) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
Fred is young.
("Fred" "is" "young" "+")
int5
((triple3 ((((triple4 triple7 triple5) -> (rule2 % int5)) triple6 triple7) -> (rule4 % int4)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple6 ((((triple4 triple7 triple5) -> (rule2 % int5)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple3 triple4) -> (rule7 % int3)) triple7) -> (rule4 % int4))) -> (rule1 % int2))) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Fred is young.
("Fred" "is" "young" "+")
int5
((triple3 ((((triple4 triple7 triple5) -> (rule2 % int5)) triple6 triple7) -> (rule4 % int4)) ((((triple4 triple7 triple5) -> (rule2 % int5)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple3 triple4) -> (rule7 % int3)) ((((triple4 triple7 triple5) -> (rule2 % int5)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple3 triple4) -> (rule7 % int3)) triple7) -> (rule4 % int4))) -> (rule1 % int2))) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Fred is young.
("Fred" "is" "young" "+")
int5
((triple3 ((((triple4 triple7 triple5) -> (rule2 % int5)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple3 triple4) -> (rule7 % int4)) triple7) -> (rule4 % int3)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple6 ((((triple4 triple7 triple5) -> (rule2 % int5)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple3 triple4) -> (rule7 % int4)) triple7) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
Fred is young.
("Fred" "is" "young" "+")
int5
((triple3 ((((triple4 triple7 triple5) -> (rule2 % int5)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple3 triple4) -> (rule7 % int4)) triple7) -> (rule4 % int3)) ((((triple4 triple7 triple5) -> (rule2 % int5)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple3 triple4) -> (rule7 % int4)) ((((triple4 triple7 triple5) -> (rule2 % int5)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple3 triple4) -> (rule7 % int4)) triple7) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
Fred is young.
("Fred" "is" "young" "+")
int5
Harry is not big.
Unknown
inv-rconc
[@2: Harry is big.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Harry" "is" "big" "-")
Charlie is red.
Unknown
rconc
[@2: Charlie is red.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Charlie" "is" "red" "+")
Eric is not blue.
Unknown
inv-rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Eric" "is" "blue" "-")
Eric is round.
Unknown
rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Eric" "is" "round" "+")
Eric is not young.
Unknown
inv-rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "young" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
Eric is not rough.
Unknown
inv-random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "-")
Eric is nice.
Unknown
random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "+")
@0: Charlie is blue.[(triple1)] Eric is kind.[(triple2)] Fred is big.[(triple7)] Fred is blue.[(triple6 OR ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7))] Fred is cold.[(triple5)] Fred is green.[(triple4)] Fred is nice.[(triple3)] Harry is blue.[(triple10)] Harry is cold.[(triple9)] Harry is nice.[(triple8)] @1: Fred is young.[(((triple4 triple7 triple5) -> rule2))] @2: Fred is red.[(((((triple4 triple7 triple5) -> rule2) triple6 triple7) -> rule4) OR ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) triple7) -> rule4))] @3: Fred is kind.[(((((triple4 triple7 triple5) -> rule2) triple6 ((((triple4 triple7 triple5) -> rule2) triple6 triple7) -> rule4)) -> rule1) OR ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) ((((triple4 triple7 triple5) -> rule2) triple6 triple7) -> rule4)) -> rule1) OR ((((triple4 triple7 triple5) -> rule2) triple6 ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) triple7) -> rule4)) -> rule1) OR ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) triple7) -> rule4)) -> rule1))] @4: Fred is round.[(((triple3 ((((triple4 triple7 triple5) -> rule2) triple6 triple7) -> rule4) ((((triple4 triple7 triple5) -> rule2) triple6 ((((triple4 triple7 triple5) -> rule2) triple6 triple7) -> rule4)) -> rule1)) -> rule6) OR ((triple3 ((((triple4 triple7 triple5) -> rule2) triple6 triple7) -> rule4) ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) ((((triple4 triple7 triple5) -> rule2) triple6 triple7) -> rule4)) -> rule1)) -> rule6) OR ((triple3 ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) triple7) -> rule4) ((((triple4 triple7 triple5) -> rule2) triple6 ((((triple4 triple7 triple5) -> rule2) triple6 triple7) -> rule4)) -> rule1)) -> rule6) OR ((triple3 ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) triple7) -> rule4) ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) ((((triple4 triple7 triple5) -> rule2) triple6 triple7) -> rule4)) -> rule1)) -> rule6) OR ((triple3 ((((triple4 triple7 triple5) -> rule2) triple6 triple7) -> rule4) ((((triple4 triple7 triple5) -> rule2) triple6 ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) triple7) -> rule4)) -> rule1)) -> rule6) OR ((triple3 ((((triple4 triple7 triple5) -> rule2) triple6 triple7) -> rule4) ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) triple7) -> rule4)) -> rule1)) -> rule6) OR ((triple3 ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) triple7) -> rule4) ((((triple4 triple7 triple5) -> rule2) triple6 ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) triple7) -> rule4)) -> rule1)) -> rule6) OR ((triple3 ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) triple7) -> rule4) ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) triple7) -> rule4)) -> rule1)) -> rule6))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Eric is kind.
("Eric" "is" "kind" "+")
triple2
Fred is big.
("Fred" "is" "big" "+")
triple7
Fred is blue.
("Fred" "is" "blue" "+")
triple6
((((triple4 triple7 triple5) -> (rule2 % int2)) triple3 triple4) -> (rule7 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
triple5
Fred is green.
("Fred" "is" "green" "+")
triple4
Fred is nice.
("Fred" "is" "nice" "+")
triple3
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
triple8
Fred is young.
("Fred" "is" "young" "+")
((triple4 triple7 triple5) -> (rule2 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((((triple4 triple7 triple5) -> (rule2 % int2)) triple6 triple7) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
((((triple4 triple7 triple5) -> (rule2 % int3)) ((((triple4 triple7 triple5) -> (rule2 % int3)) triple3 triple4) -> (rule7 % int2)) triple7) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Fred is kind.
("Fred" "is" "kind" "+")
((((triple4 triple7 triple5) -> (rule2 % int3)) triple6 ((((triple4 triple7 triple5) -> (rule2 % int3)) triple6 triple7) -> (rule4 % int2))) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
((((triple4 triple7 triple5) -> (rule2 % int4)) ((((triple4 triple7 triple5) -> (rule2 % int4)) triple3 triple4) -> (rule7 % int3)) ((((triple4 triple7 triple5) -> (rule2 % int4)) triple6 triple7) -> (rule4 % int2))) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is young.
("Fred" "is" "young" "+")
int4
((((triple4 triple7 triple5) -> (rule2 % int4)) triple6 ((((triple4 triple7 triple5) -> (rule2 % int4)) ((((triple4 triple7 triple5) -> (rule2 % int4)) triple3 triple4) -> (rule7 % int3)) triple7) -> (rule4 % int2))) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is young.
("Fred" "is" "young" "+")
int4
((((triple4 triple7 triple5) -> (rule2 % int4)) ((((triple4 triple7 triple5) -> (rule2 % int4)) triple3 triple4) -> (rule7 % int3)) ((((triple4 triple7 triple5) -> (rule2 % int4)) ((((triple4 triple7 triple5) -> (rule2 % int4)) triple3 triple4) -> (rule7 % int3)) triple7) -> (rule4 % int2))) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is young.
("Fred" "is" "young" "+")
int4
Fred is round.
("Fred" "is" "round" "+")
((triple3 ((((triple4 triple7 triple5) -> (rule2 % int4)) triple6 triple7) -> (rule4 % int3)) ((((triple4 triple7 triple5) -> (rule2 % int4)) triple6 ((((triple4 triple7 triple5) -> (rule2 % int4)) triple6 triple7) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is young.
("Fred" "is" "young" "+")
int4
((triple3 ((((triple4 triple7 triple5) -> (rule2 % int5)) triple6 triple7) -> (rule4 % int4)) ((((triple4 triple7 triple5) -> (rule2 % int5)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple3 triple4) -> (rule7 % int3)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple6 triple7) -> (rule4 % int4))) -> (rule1 % int2))) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Fred is young.
("Fred" "is" "young" "+")
int5
((triple3 ((((triple4 triple7 triple5) -> (rule2 % int5)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple3 triple4) -> (rule7 % int4)) triple7) -> (rule4 % int3)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple6 ((((triple4 triple7 triple5) -> (rule2 % int5)) triple6 triple7) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
Fred is young.
("Fred" "is" "young" "+")
int5
((triple3 ((((triple4 triple7 triple5) -> (rule2 % int5)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple3 triple4) -> (rule7 % int4)) triple7) -> (rule4 % int3)) ((((triple4 triple7 triple5) -> (rule2 % int5)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple3 triple4) -> (rule7 % int4)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple6 triple7) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
Fred is young.
("Fred" "is" "young" "+")
int5
((triple3 ((((triple4 triple7 triple5) -> (rule2 % int5)) triple6 triple7) -> (rule4 % int4)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple6 ((((triple4 triple7 triple5) -> (rule2 % int5)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple3 triple4) -> (rule7 % int3)) triple7) -> (rule4 % int4))) -> (rule1 % int2))) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Fred is young.
("Fred" "is" "young" "+")
int5
((triple3 ((((triple4 triple7 triple5) -> (rule2 % int5)) triple6 triple7) -> (rule4 % int4)) ((((triple4 triple7 triple5) -> (rule2 % int5)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple3 triple4) -> (rule7 % int3)) ((((triple4 triple7 triple5) -> (rule2 % int5)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple3 triple4) -> (rule7 % int3)) triple7) -> (rule4 % int4))) -> (rule1 % int2))) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Fred is young.
("Fred" "is" "young" "+")
int5
((triple3 ((((triple4 triple7 triple5) -> (rule2 % int5)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple3 triple4) -> (rule7 % int4)) triple7) -> (rule4 % int3)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple6 ((((triple4 triple7 triple5) -> (rule2 % int5)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple3 triple4) -> (rule7 % int4)) triple7) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
Fred is young.
("Fred" "is" "young" "+")
int5
((triple3 ((((triple4 triple7 triple5) -> (rule2 % int5)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple3 triple4) -> (rule7 % int4)) triple7) -> (rule4 % int3)) ((((triple4 triple7 triple5) -> (rule2 % int5)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple3 triple4) -> (rule7 % int4)) ((((triple4 triple7 triple5) -> (rule2 % int5)) ((((triple4 triple7 triple5) -> (rule2 % int5)) triple3 triple4) -> (rule7 % int4)) triple7) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
Fred is young.
("Fred" "is" "young" "+")
int5
Charlie wears all blue.
Eric always goes out of his way to show that he is kind to people.
Fred is nice but he's pretty inexperienced, pretty green; He's too big to fit in the hot tub so he stays cold which makes him blue.
As much as Harry is nice, he is also cold and often feels blue.
Young people with red skin who are a bit downhearted and blue are kind.
Big and green people who feel cold are usually young in age.
Young and nice people have great big smiles.
I have found that young, blue, and big individuals are also red.
Young people tend to rough and nice, but they are also red.
If a person is red, kind, and nice then they must be round.
Young people that are nice and green tend to be blue.