Charlie is big and dresses in blue. Dave is round shaped and green colored. Gary lives at home with his parents who tell him he is too young to live on his own. Gary is a big blue guy with red rings around his ankles and rough patchy skin. Gary is always cold inside or out. Harry is big and dresses in blue. All kind, red, and young people are also nice. Any human being with green, big, kind eyes, also has round eyes. People who are blue and red and kind are described as being green. Green people will be nice even when they have been rough. A big and blue colored person is also certainly very kind. Nice people who are cold and blue after being plucked from the water have the decency to turn red with embarrassment at having to be rescued following a water skiing gaffe. Anybody with rough, kind and blue aspects will certainly be cold, too.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is green.
("Dave" "is" "green" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is kind and red and young then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and big and kind then they are round.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is red and kind and blue then they are green.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is green and nice then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and big then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and nice and blue then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and kind and blue then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
Gary is blue.
True
1
proof
[(triple9)]
("Gary" "is" "blue" "+")
triple9
Gary is not young.
False
1
inv-proof
[(triple5)]
("Gary" "is" "young" "-")
triple5
Harry is kind.
True
3
proof
[(((triple11 triple12) -> rule5))]
("Harry" "is" "kind" "+")
((triple11 triple12) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Charlie is not kind.
False
3
inv-proof
[(((triple1 triple2) -> rule5))]
("Charlie" "is" "kind" "-")
((triple1 triple2) -> (rule5 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Gary is nice.
True
6
proof
[(((((triple9 triple10) -> rule5) triple7 triple5) -> rule1))]
("Gary" "is" "nice" "+")
((((triple9 triple10) -> (rule5 % int2)) triple7 triple5) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is not nice.
False
6
inv-proof
[(((((triple9 triple10) -> rule5) triple7 triple5) -> rule1))]
("Gary" "is" "nice" "-")
((((triple9 triple10) -> (rule5 % int2)) triple7 triple5) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
True
11
proof
[(((((triple7 ((triple9 triple10) -> rule5) triple9) -> rule3) triple10 ((triple9 triple10) -> rule5)) -> rule2))]
("Gary" "is" "round" "+")
((((triple7 ((triple9 triple10) -> (rule5 % int3)) triple9) -> (rule3 % int2)) triple10 ((triple9 triple10) -> (rule5 % int3))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is not round.
False
11
inv-proof
[(((((triple7 ((triple9 triple10) -> rule5) triple9) -> rule3) triple10 ((triple9 triple10) -> rule5)) -> rule2))]
("Gary" "is" "round" "-")
((((triple7 ((triple9 triple10) -> (rule5 % int3)) triple9) -> (rule3 % int2)) triple10 ((triple9 triple10) -> (rule5 % int3))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Charlie is not cold.
Unknown
inv-rconc
[@3: Charlie is cold.[CWA. Example of deepest failure = (rule7 <- rule4 <- rule1 <- FAIL)]]
("Charlie" "is" "cold" "-")
Dave is kind.
Unknown
rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "kind" "+")
Charlie is not red.
Unknown
inv-rconc
[@2: Charlie is red.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("Charlie" "is" "red" "-")
Charlie is rough.
Unknown
rconc
[@2: Charlie is rough.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Charlie" "is" "rough" "+")
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
@0: Charlie is big.[(triple2)] Charlie is blue.[(triple1)] Dave is green.[(triple4)] Dave is round.[(triple3)] Gary is big.[(triple10)] Gary is blue.[(triple9)] Gary is cold.[(triple8 OR ((triple6 ((triple9 triple10) -> rule5) triple9) -> rule7) OR ((((((triple7 ((triple9 triple10) -> rule5) triple9) -> rule3) ((((triple9 triple10) -> rule5) triple7 triple5) -> rule1)) -> rule4) ((triple9 triple10) -> rule5) triple9) -> rule7))] Gary is red.[(triple7)] Gary is rough.[(triple6 OR ((((triple7 ((triple9 triple10) -> rule5) triple9) -> rule3) ((((triple9 triple10) -> rule5) triple7 triple5) -> rule1)) -> rule4))] Gary is young.[(triple5)] Harry is big.[(triple12)] Harry is blue.[(triple11)] @1: Charlie is kind.[(((triple1 triple2) -> rule5))] Gary is kind.[(((triple9 triple10) -> rule5))] Harry is kind.[(((triple11 triple12) -> rule5))] @2: Gary is green.[(((triple7 ((triple9 triple10) -> rule5) triple9) -> rule3))] Gary is nice.[(((((triple9 triple10) -> rule5) triple7 triple5) -> rule1))] @3: Gary is round.[(((((triple7 ((triple9 triple10) -> rule5) triple9) -> rule3) triple10 ((triple9 triple10) -> rule5)) -> rule2))]
Charlie is big.
("Charlie" "is" "big" "+")
triple2
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple3
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is cold.
("Gary" "is" "cold" "+")
triple8
((triple6 ((triple9 triple10) -> (rule5 % int2)) triple9) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((((((triple7 ((triple9 triple10) -> (rule5 % int5)) triple9) -> (rule3 % int4)) ((((triple9 triple10) -> (rule5 % int5)) triple7 triple5) -> (rule1 % int3))) -> (rule4 % int2)) ((triple9 triple10) -> (rule5 % int5)) triple9) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
triple6
((((triple7 ((triple9 triple10) -> (rule5 % int4)) triple9) -> (rule3 % int3)) ((((triple9 triple10) -> (rule5 % int4)) triple7 triple5) -> (rule1 % int2))) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
triple5
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple1 triple2) -> (rule5 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((triple9 triple10) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple11 triple12) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple7 ((triple9 triple10) -> (rule5 % int2)) triple9) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
((((triple9 triple10) -> (rule5 % int2)) triple7 triple5) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
((((triple7 ((triple9 triple10) -> (rule5 % int3)) triple9) -> (rule3 % int2)) triple10 ((triple9 triple10) -> (rule5 % int3))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Charlie is big and dresses in blue.
Dave is round shaped and green colored.
Gary lives at home with his parents who tell him he is too young to live on his own; Gary is a big blue guy with red rings around his ankles and rough patchy skin; Gary is always cold inside or out.
Harry is big and dresses in blue.
All kind, red, and young people are also nice.
Any human being with green, big, kind eyes, also has round eyes.
People who are blue and red and kind are described as being green.
Green people will be nice even when they have been rough.
A big and blue colored person is also certainly very kind.
Nice people who are cold and blue after being plucked from the water have the decency to turn red with embarrassment at having to be rescued following a water skiing gaffe.
Anybody with rough, kind and blue aspects will certainly be cold, too.