Charlie is nice and kind despite the appearance of his cold, red skin. Dave ate some rotten meat and now feels green. Eric ate some rotten meat and now feels green. Fred is a rather nice, big and round fellow, who is also red from a sunburn and feeling blue. A red colored and round person who is also young will be rather kind. Watch out for the rough and round kind people for they cold to others. A big, blue person who is kind is also round. Someone big and rough in shape is always kind. A green person that is cold is often considered to be red. If a person is quite big and also round then they are certainly rough too. A cold, red person with a kind disposition will certainly be big.
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Eric is green.
("Eric" "is" "green" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is red and round and young then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and round and kind then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and kind and big then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is big and rough then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and cold then they are red.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is big and round then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and cold and kind then they are big.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Fred is nice.
True
1
proof
[(triple9)]
("Fred" "is" "nice" "+")
triple9
Fred is not blue.
False
1
inv-proof
[(triple10)]
("Fred" "is" "blue" "-")
triple10
Charlie is big.
True
4
proof
[(((triple1 triple4 triple3) -> rule7))]
("Charlie" "is" "big" "+")
((triple1 triple4 triple3) -> (rule7 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is not big.
False
4
inv-proof
[(((triple1 triple4 triple3) -> rule7))]
("Charlie" "is" "big" "-")
((triple1 triple4 triple3) -> (rule7 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Fred is kind.
True
5
proof
[(((triple11 ((triple11 triple7) -> rule6)) -> rule4))]
("Fred" "is" "kind" "+")
((triple11 ((triple11 triple7) -> (rule6 % int2))) -> (rule4 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is not kind.
False
5
inv-proof
[(((triple11 ((triple11 triple7) -> rule6)) -> rule4))]
("Fred" "is" "kind" "-")
((triple11 ((triple11 triple7) -> (rule6 % int2))) -> (rule4 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is cold.
True
10
proof
[(((((triple11 triple7) -> rule6) triple7 ((triple11 ((triple11 triple7) -> rule6)) -> rule4)) -> rule2))]
("Fred" "is" "cold" "+")
((((triple11 triple7) -> (rule6 % int3)) triple7 ((triple11 ((triple11 triple7) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is not cold.
False
10
inv-proof
[(((((triple11 triple7) -> rule6) triple7 ((triple11 ((triple11 triple7) -> rule6)) -> rule4)) -> rule2))]
("Fred" "is" "cold" "-")
((((triple11 triple7) -> (rule6 % int3)) triple7 ((triple11 ((triple11 triple7) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Eric is not rough.
Unknown
inv-rconc
[@2: Eric is rough.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("Eric" "is" "rough" "-")
Eric is red.
Unknown
rconc
[@3: Eric is red.[CWA. Example of deepest failure = (rule5 <- rule2 <- rule3 <- FAIL)]]
("Eric" "is" "red" "+")
Dave is not big.
Unknown
inv-rconc
[@2: Dave is big.[CWA. Example of deepest failure = (rule7 <- rule1 <- FAIL)]]
("Dave" "is" "big" "-")
Charlie is round.
Unknown
rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "round" "+")
Eric is not young.
Unknown
inv-random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Charlie is cold.[(triple4)] Charlie is kind.[(triple3)] Charlie is nice.[(triple2)] Charlie is red.[(triple1)] Dave is green.[(triple5)] Eric is green.[(triple6)] Fred is big.[(triple11)] Fred is blue.[(triple10)] Fred is nice.[(triple9)] Fred is red.[(triple8)] Fred is round.[(triple7)] @1: Charlie is big.[(((triple1 triple4 triple3) -> rule7))] Fred is rough.[(((triple11 triple7) -> rule6))] @2: Fred is kind.[(((triple11 ((triple11 triple7) -> rule6)) -> rule4))] @3: Fred is cold.[(((((triple11 triple7) -> rule6) triple7 ((triple11 ((triple11 triple7) -> rule6)) -> rule4)) -> rule2))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple5
Eric is green.
("Eric" "is" "green" "+")
triple6
Fred is big.
("Fred" "is" "big" "+")
triple11
Fred is blue.
("Fred" "is" "blue" "+")
triple10
Fred is nice.
("Fred" "is" "nice" "+")
triple9
Fred is red.
("Fred" "is" "red" "+")
triple8
Fred is round.
("Fred" "is" "round" "+")
triple7
Charlie is big.
("Charlie" "is" "big" "+")
((triple1 triple4 triple3) -> (rule7 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
((triple11 triple7) -> (rule6 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
((triple11 ((triple11 triple7) -> (rule6 % int2))) -> (rule4 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
((((triple11 triple7) -> (rule6 % int3)) triple7 ((triple11 ((triple11 triple7) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Charlie is nice and kind despite the appearance of his cold, red skin.
Dave ate some rotten meat and now feels green.
Eric ate some rotten meat and now feels green.
Fred is a rather nice, big and round fellow, who is also red from a sunburn and feeling blue.
A red colored and round person who is also young will be rather kind.
Watch out for the rough and round kind people for they cold to others.
A big, blue person who is kind is also round.
Someone big and rough in shape is always kind.
A green person that is cold is often considered to be red.
If a person is quite big and also round then they are certainly rough too.
A cold, red person with a kind disposition will certainly be big.