Charlie is a nice, kind young man that is feeling rather blue -- he is also green. Red Fred is what folks call him, because he is quite red. Harry is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well. A round and nice person will certainly have a red tint to them. A big person who looks blue is also going to look young. If someone has a red face and feels blue and has a round body then you'll automatically think they are big. Big and cold people are likely to be round, too. A blue and red colored person that is young is also very cold.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Fred is red.
("Fred" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is round and nice then they are red.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and big then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is red and blue and round then they are big.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is big and cold then they are round.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and young and red then they are cold.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
Charlie is blue.
True
1
proof
[(triple5)]
("Charlie" "is" "blue" "+")
triple5
Charlie is not blue.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "blue" "-")
triple5
Harry is red.
True
3
proof
[(((triple7 triple8) -> rule1))]
("Harry" "is" "red" "+")
((triple7 triple8) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is not red.
False
3
inv-proof
[(((triple7 triple8) -> rule1))]
("Harry" "is" "red" "-")
((triple7 triple8) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is big.
True
6
proof
[(((((triple7 triple8) -> rule1) triple9 triple7) -> rule3))]
("Harry" "is" "big" "+")
((((triple7 triple8) -> (rule1 % int2)) triple9 triple7) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is not big.
False
6
inv-proof
[(((((triple7 triple8) -> rule1) triple9 triple7) -> rule3))]
("Harry" "is" "big" "-")
((((triple7 triple8) -> (rule1 % int2)) triple9 triple7) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is young.
True
8
proof
[(((triple9 ((((triple7 triple8) -> rule1) triple9 triple7) -> rule3)) -> rule2))]
("Harry" "is" "young" "+")
((triple9 ((((triple7 triple8) -> (rule1 % int3)) triple9 triple7) -> (rule3 % int2))) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is not young.
False
8
inv-proof
[(((triple9 ((((triple7 triple8) -> rule1) triple9 triple7) -> rule3)) -> rule2))]
("Harry" "is" "young" "-")
((triple9 ((((triple7 triple8) -> (rule1 % int3)) triple9 triple7) -> (rule3 % int2))) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is cold.
True
13
proof
[(((triple9 ((triple9 ((((triple7 triple8) -> rule1) triple9 triple7) -> rule3)) -> rule2) ((triple7 triple8) -> rule1)) -> rule5))]
("Harry" "is" "cold" "+")
((triple9 ((triple9 ((((triple7 triple8) -> (rule1 % int4)) triple9 triple7) -> (rule3 % int3))) -> (rule2 % int2)) ((triple7 triple8) -> (rule1 % int4))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is not cold.
False
13
inv-proof
[(((triple9 ((triple9 ((((triple7 triple8) -> rule1) triple9 triple7) -> rule3)) -> rule2) ((triple7 triple8) -> rule1)) -> rule5))]
("Harry" "is" "cold" "-")
((triple9 ((triple9 ((((triple7 triple8) -> (rule1 % int4)) triple9 triple7) -> (rule3 % int3))) -> (rule2 % int2)) ((triple7 triple8) -> (rule1 % int4))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "red" "-")
Gary is round.
Unknown
rconc
[@2: Gary is round.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Gary" "is" "round" "+")
Fred is not round.
Unknown
inv-rconc
[@2: Fred is round.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Fred" "is" "round" "-")
Charlie is cold.
Unknown
rconc
[@3: Charlie is cold.[CWA. Example of deepest failure = (rule5 <- rule1 <- rule4 <- FAIL)]]
("Charlie" "is" "cold" "+")
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "big" "-")
Fred is rough.
Unknown
random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Fred is blue.
Unknown
random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "+")
Fred is not kind.
Unknown
inv-random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
@0: Charlie is blue.[(triple5)] Charlie is green.[(triple4)] Charlie is kind.[(triple3)] Charlie is nice.[(triple2)] Charlie is young.[(triple1)] Fred is red.[(triple6)] Harry is blue.[(triple9)] Harry is nice.[(triple8)] Harry is round.[(triple7)] @1: Harry is red.[(((triple7 triple8) -> rule1))] @2: Harry is big.[(((((triple7 triple8) -> rule1) triple9 triple7) -> rule3))] @3: Harry is young.[(((triple9 ((((triple7 triple8) -> rule1) triple9 triple7) -> rule3)) -> rule2))] @4: Harry is cold.[(((triple9 ((triple9 ((((triple7 triple8) -> rule1) triple9 triple7) -> rule3)) -> rule2) ((triple7 triple8) -> rule1)) -> rule5))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Fred is red.
("Fred" "is" "red" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
triple8
Harry is round.
("Harry" "is" "round" "+")
triple7
Harry is red.
("Harry" "is" "red" "+")
((triple7 triple8) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((((triple7 triple8) -> (rule1 % int2)) triple9 triple7) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
((triple9 ((((triple7 triple8) -> (rule1 % int3)) triple9 triple7) -> (rule3 % int2))) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
((triple9 ((triple9 ((((triple7 triple8) -> (rule1 % int4)) triple9 triple7) -> (rule3 % int3))) -> (rule2 % int2)) ((triple7 triple8) -> (rule1 % int4))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Charlie is a nice, kind young man that is feeling rather blue -- he is also green.
Red Fred is what folks call him, because he is quite red.
Harry is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well.
A round and nice person will certainly have a red tint to them.
A big person who looks blue is also going to look young.
If someone has a red face and feels blue and has a round body then you'll automatically think they are big.
Big and cold people are likely to be round, too.
A blue and red colored person that is young is also very cold.