Charlie is colored blue and red, and you will notice is he is also big and round. Eric wears all blue. People think that Fred is round. This might be because he is young and blue. Young Gary is quite nice, and because he is so round can be considered quite big. A big person who is kind but blue is cold. Big people who are red in color are often nice. A cold and blue appearing person will be young as well. Big people with round and somewhat red faces will have rough skin. If you meet someone who is young and cold, then will most definitely be red. Invariably, any young person whose skin appears rough and green is bound to be quite big. Round, nice people are normally cold and nasty.
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is blue and kind and big then they are cold.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and red then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and blue then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is big and round and red then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and cold then they are red.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is young and green and rough then they are big.
((("someone" "is" "young" "+") ("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is round and nice then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Gary is young.
True
1
proof
[(triple9)]
("Gary" "is" "young" "+")
triple9
Fred is not round.
False
1
inv-proof
[(triple7)]
("Fred" "is" "round" "-")
triple7
Charlie is nice.
True
3
proof
[(((triple4 triple2) -> rule2))]
("Charlie" "is" "nice" "+")
((triple4 triple2) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is not rough.
False
4
inv-proof
[(((triple4 triple1 triple2) -> rule4))]
("Charlie" "is" "rough" "-")
((triple4 triple1 triple2) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Gary is red.
True
5
proof
[(((triple9 ((triple10 triple11) -> rule7)) -> rule5))]
("Gary" "is" "red" "+")
((triple9 ((triple10 triple11) -> (rule7 % int2))) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is not red.
False
5
inv-proof
[(((triple9 ((triple10 triple11) -> rule7)) -> rule5))]
("Gary" "is" "red" "-")
((triple9 ((triple10 triple11) -> (rule7 % int2))) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Charlie is young.
True
7
proof
[(((((triple1 ((triple4 triple2) -> rule2)) -> rule7) triple3) -> rule3))]
("Charlie" "is" "young" "+")
((((triple1 ((triple4 triple2) -> (rule2 % int3))) -> (rule7 % int2)) triple3) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is not young.
False
7
inv-proof
[(((((triple1 ((triple4 triple2) -> rule2)) -> rule7) triple3) -> rule3))]
("Charlie" "is" "young" "-")
((((triple1 ((triple4 triple2) -> (rule2 % int3))) -> (rule7 % int2)) triple3) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Fred is not red.
Unknown
inv-rconc
[@3: Fred is red.[CWA. Example of deepest failure = (rule5 <- rule7 <- rule2 <- FAIL)]]
("Fred" "is" "red" "-")
Fred is nice.
Unknown
rconc
[@2: Fred is nice.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("Fred" "is" "nice" "+")
Eric is not cold.
Unknown
inv-rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "cold" "-")
Eric is big.
Unknown
rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Eric" "is" "big" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Fred is green.
Unknown
random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
@0: Charlie is big.[(triple4)] Charlie is blue.[(triple3)] Charlie is red.[(triple2)] Charlie is round.[(triple1)] Eric is blue.[(triple5)] Fred is blue.[(triple8)] Fred is round.[(triple7)] Fred is young.[(triple6)] Gary is big.[(triple12)] Gary is nice.[(triple11)] Gary is round.[(triple10)] Gary is young.[(triple9)] @1: Charlie is nice.[(((triple4 triple2) -> rule2))] Charlie is rough.[(((triple4 triple1 triple2) -> rule4))] Gary is cold.[(((triple10 triple11) -> rule7))] @2: Charlie is cold.[(((triple1 ((triple4 triple2) -> rule2)) -> rule7))] Gary is red.[(((triple9 ((triple10 triple11) -> rule7)) -> rule5))] @3: Charlie is young.[(((((triple1 ((triple4 triple2) -> rule2)) -> rule7) triple3) -> rule3))] Gary is rough.[(((triple12 triple10 ((triple9 ((triple10 triple11) -> rule7)) -> rule5)) -> rule4))]
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple5
Fred is blue.
("Fred" "is" "blue" "+")
triple8
Fred is round.
("Fred" "is" "round" "+")
triple7
Fred is young.
("Fred" "is" "young" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple12
Gary is nice.
("Gary" "is" "nice" "+")
triple11
Gary is round.
("Gary" "is" "round" "+")
triple10
Gary is young.
("Gary" "is" "young" "+")
triple9
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple4 triple2) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple4 triple1 triple2) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple10 triple11) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple1 ((triple4 triple2) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
((triple9 ((triple10 triple11) -> (rule7 % int2))) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
((((triple1 ((triple4 triple2) -> (rule2 % int3))) -> (rule7 % int2)) triple3) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
((triple12 triple10 ((triple9 ((triple10 triple11) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Charlie is colored blue and red, and you will notice is he is also big and round.
Eric wears all blue.
People think that Fred is round; This might be because he is young and blue.
Young Gary is quite nice, and because he is so round can be considered quite big.
A big person who is kind but blue is cold.
Big people who are red in color are often nice.
A cold and blue appearing person will be young as well.
Big people with round and somewhat red faces will have rough skin.
If you meet someone who is young and cold, then will most definitely be red.
Invariably, any young person whose skin appears rough and green is bound to be quite big.
Round, nice people are normally cold and nasty.