Big, round Charlie is cold and very green. Dave is round shaped and green colored. If you met Fred you would find him nice, blue, cold and quite big. Red Harry is what folks call him, because he is quite red. Rough people are often always nice. Big people that are cold will show you how rough they actually are. It's impossible for someone to be red, big, and cold without them also being kind. A big and blue colored person is also certainly very kind. A green and quite rough person will also be blue. Kind people who look green are almost always young in age. Big kind people are usually cold.
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is green.
("Dave" "is" "green" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
Harry is red.
("Harry" "is" "red" "+")
If someone is rough then they are nice.
((("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and big then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and big and cold then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and big then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and green then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and kind then they are young.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and big then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
Dave is green.
True
1
proof
[(triple6)]
("Dave" "is" "green" "+")
triple6
Fred is not big.
False
1
inv-proof
[(triple10)]
("Fred" "is" "big" "-")
triple10
Fred is rough.
True
3
proof
[(((triple8 triple10) -> rule2) OR ((((((triple9 triple10) -> rule4) triple10) -> rule7) triple10) -> rule2))]
("Fred" "is" "rough" "+")
((triple8 triple10) -> (rule2 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
((((((triple9 triple10) -> (rule4 % int3)) triple10) -> (rule7 % int2)) triple10) -> (rule2 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Charlie is not rough.
False
3
inv-proof
[(((triple3 triple4) -> rule2))]
("Charlie" "is" "rough" "-")
((triple3 triple4) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
True
4
proof
[(((((triple3 triple4) -> rule2)) -> rule1))]
("Charlie" "is" "nice" "+")
((((triple3 triple4) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is not nice.
False
4
inv-proof
[(((((triple3 triple4) -> rule2)) -> rule1))]
("Charlie" "is" "nice" "-")
((((triple3 triple4) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is kind.
True
7
proof
[(((((((triple3 triple4) -> rule2) triple2) -> rule5) triple4) -> rule4))]
("Charlie" "is" "kind" "+")
((((((triple3 triple4) -> (rule2 % int3)) triple2) -> (rule5 % int2)) triple4) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is not kind.
False
7
inv-proof
[(((((((triple3 triple4) -> rule2) triple2) -> rule5) triple4) -> rule4))]
("Charlie" "is" "kind" "-")
((((((triple3 triple4) -> (rule2 % int3)) triple2) -> (rule5 % int2)) triple4) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is young.
True
9
proof
[(((triple2 ((((((triple3 triple4) -> rule2) triple2) -> rule5) triple4) -> rule4)) -> rule6))]
("Charlie" "is" "young" "+")
((triple2 ((((((triple3 triple4) -> (rule2 % int4)) triple2) -> (rule5 % int3)) triple4) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is not young.
False
9
inv-proof
[(((triple2 ((((((triple3 triple4) -> rule2) triple2) -> rule5) triple4) -> rule4)) -> rule6))]
("Charlie" "is" "young" "-")
((triple2 ((((((triple3 triple4) -> (rule2 % int4)) triple2) -> (rule5 % int3)) triple4) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "kind" "-")
Harry is cold.
Unknown
rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Harry" "is" "cold" "+")
Dave is not blue.
Unknown
inv-rconc
[@2: Dave is blue.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Dave" "is" "blue" "-")
Dave is nice.
Unknown
rconc
[@2: Dave is nice.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Dave" "is" "nice" "+")
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Dave" "is" "cold" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Fred is round.
Unknown
random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
@0: Charlie is big.[(triple4)] Charlie is cold.[(triple3)] Charlie is green.[(triple2)] Charlie is round.[(triple1)] Dave is green.[(triple6)] Dave is round.[(triple5)] Fred is big.[(triple10)] Fred is blue.[(triple9)] Fred is cold.[(triple8 OR ((((triple9 triple10) -> rule4) triple10) -> rule7))] Fred is nice.[(triple7 OR ((((triple8 triple10) -> rule2)) -> rule1) OR ((((((((triple9 triple10) -> rule4) triple10) -> rule7) triple10) -> rule2)) -> rule1))] Harry is red.[(triple11)] @1: Charlie is rough.[(((triple3 triple4) -> rule2))] Fred is kind.[(((triple9 triple10) -> rule4))] Fred is rough.[(((triple8 triple10) -> rule2) OR ((((((triple9 triple10) -> rule4) triple10) -> rule7) triple10) -> rule2))] @2: Charlie is blue.[(((((triple3 triple4) -> rule2) triple2) -> rule5))] Charlie is nice.[(((((triple3 triple4) -> rule2)) -> rule1))] @3: Charlie is kind.[(((((((triple3 triple4) -> rule2) triple2) -> rule5) triple4) -> rule4))] @4: Charlie is young.[(((triple2 ((((((triple3 triple4) -> rule2) triple2) -> rule5) triple4) -> rule4)) -> rule6))]
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple6
Dave is round.
("Dave" "is" "round" "+")
triple5
Fred is big.
("Fred" "is" "big" "+")
triple10
Fred is blue.
("Fred" "is" "blue" "+")
triple9
Fred is cold.
("Fred" "is" "cold" "+")
triple8
((((triple9 triple10) -> (rule4 % int2)) triple10) -> (rule7 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
triple7
((((triple8 triple10) -> (rule2 % int2))) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
((((((((triple9 triple10) -> (rule4 % int4)) triple10) -> (rule7 % int3)) triple10) -> (rule2 % int2))) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is kind.
("Fred" "is" "kind" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
triple11
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple3 triple4) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
((triple9 triple10) -> (rule4 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
((triple8 triple10) -> (rule2 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
((((((triple9 triple10) -> (rule4 % int3)) triple10) -> (rule7 % int2)) triple10) -> (rule2 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
((((triple3 triple4) -> (rule2 % int2)) triple2) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
((((triple3 triple4) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
((((((triple3 triple4) -> (rule2 % int3)) triple2) -> (rule5 % int2)) triple4) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
((triple2 ((((((triple3 triple4) -> (rule2 % int4)) triple2) -> (rule5 % int3)) triple4) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Big, round Charlie is cold and very green.
Dave is round shaped and green colored.
If you met Fred you would find him nice, blue, cold and quite big.
Red Harry is what folks call him, because he is quite red.
Rough people are often always nice.
Big people that are cold will show you how rough they actually are.
It's impossible for someone to be red, big, and cold without them also being kind.
A big and blue colored person is also certainly very kind.
A green and quite rough person will also be blue.
Kind people who look green are almost always young in age.
Big kind people are usually cold.