I know Charlie really well and you can say he is rough on the outside, cold on the inside and red all of the time. Dave ate some rotten meat and now feels green. Fred is a nice person, but he is both blue and red. Gary wears all blue. A cold, rough person is also round. If someone is cold and young, you'll see that they are kind. Cold, rough people are always green. Nice people who have red cold skin are round. Green people with red round cheeks are young. A blue person who is young and rough is also red. Round, nice people are normally cold and nasty.
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is rough and cold then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and young then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and rough then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is red and nice and cold then they are round.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is red and green and round then they are young.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and young and rough then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is round and nice then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Charlie is rough.
True
1
proof
[(triple1)]
("Charlie" "is" "rough" "+")
triple1
Charlie is not red.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "red" "-")
triple2
Charlie is round.
True
3
proof
[(((triple1 triple3) -> rule1))]
("Charlie" "is" "round" "+")
((triple1 triple3) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is not round.
False
3
inv-proof
[(((triple1 triple3) -> rule1))]
("Charlie" "is" "round" "-")
((triple1 triple3) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
True
8
proof
[(((triple2 ((triple3 triple1) -> rule3) ((triple1 triple3) -> rule1)) -> rule5))]
("Charlie" "is" "young" "+")
((triple2 ((triple3 triple1) -> (rule3 % int3)) ((triple1 triple3) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is not young.
False
8
inv-proof
[(((triple2 ((triple3 triple1) -> rule3) ((triple1 triple3) -> rule1)) -> rule5))]
("Charlie" "is" "young" "-")
((triple2 ((triple3 triple1) -> (rule3 % int3)) ((triple1 triple3) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
True
10
proof
[(((triple3 ((triple2 ((triple3 triple1) -> rule3) ((triple1 triple3) -> rule1)) -> rule5)) -> rule2))]
("Charlie" "is" "kind" "+")
((triple3 ((triple2 ((triple3 triple1) -> (rule3 % int4)) ((triple1 triple3) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is not kind.
False
10
inv-proof
[(((triple3 ((triple2 ((triple3 triple1) -> rule3) ((triple1 triple3) -> rule1)) -> rule5)) -> rule2))]
("Charlie" "is" "kind" "-")
((triple3 ((triple2 ((triple3 triple1) -> (rule3 % int4)) ((triple1 triple3) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Dave is not red.
Unknown
inv-rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "red" "-")
Gary is cold.
Unknown
rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Gary" "is" "cold" "+")
Gary is not kind.
Unknown
inv-rconc
[@2: Gary is kind.[CWA. Example of deepest failure = (rule2 <- rule7 <- FAIL)]]
("Gary" "is" "kind" "-")
Dave is cold.
Unknown
rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Dave" "is" "cold" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Charlie is cold.[(triple3)] Charlie is red.[(triple2)] Charlie is rough.[(triple1)] Dave is green.[(triple4)] Fred is blue.[(triple7)] Fred is nice.[(triple6)] Fred is red.[(triple5)] Gary is blue.[(triple8)] @1: Charlie is green.[(((triple3 triple1) -> rule3))] Charlie is round.[(((triple1 triple3) -> rule1))] @2: Charlie is young.[(((triple2 ((triple3 triple1) -> rule3) ((triple1 triple3) -> rule1)) -> rule5))] @3: Charlie is kind.[(((triple3 ((triple2 ((triple3 triple1) -> rule3) ((triple1 triple3) -> rule1)) -> rule5)) -> rule2))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple4
Fred is blue.
("Fred" "is" "blue" "+")
triple7
Fred is nice.
("Fred" "is" "nice" "+")
triple6
Fred is red.
("Fred" "is" "red" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Charlie is green.
("Charlie" "is" "green" "+")
((triple3 triple1) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((triple1 triple3) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple2 ((triple3 triple1) -> (rule3 % int3)) ((triple1 triple3) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple3 ((triple2 ((triple3 triple1) -> (rule3 % int4)) ((triple1 triple3) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
I know Charlie really well and you can say he is rough on the outside, cold on the inside and red all of the time.
Dave ate some rotten meat and now feels green.
Fred is a nice person, but he is both blue and red.
Gary wears all blue.
A cold, rough person is also round.
If someone is cold and young, you'll see that they are kind.
Cold, rough people are always green.
Nice people who have red cold skin are round.
Green people with red round cheeks are young.
A blue person who is young and rough is also red.
Round, nice people are normally cold and nasty.