Charlie ate some rotten meat and now feels green. Dave is too young to be so big. Some say he is too green to be so blue as well. Red Fred is what folks call him, because he is quite red. Gary always goes out of his way to show that he is kind to people. Young people with red skin who are a bit downhearted and blue are kind. If someone is blue and rough, they always see red in others. If you meet a young, round person who is nice on the street, offer them your coat because they are cold. A kind, young person will be rough textured. Blue people who are big tend to be rough.
Charlie is green.
("Charlie" "is" "green" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
Fred is red.
("Fred" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If someone is young and blue and red then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and rough then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is round and nice and young then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and kind then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and big then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Charlie is green.
True
1
proof
[(triple1)]
("Charlie" "is" "green" "+")
triple1
Gary is not kind.
False
1
inv-proof
[(triple7)]
("Gary" "is" "kind" "-")
triple7
Dave is rough.
True
3
proof
[(((triple4 triple5) -> rule5))]
("Dave" "is" "rough" "+")
((triple4 triple5) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is not rough.
False
3
inv-proof
[(((triple4 triple5) -> rule5))]
("Dave" "is" "rough" "-")
((triple4 triple5) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is red.
True
5
proof
[(((triple4 ((triple4 triple5) -> rule5)) -> rule2))]
("Dave" "is" "red" "+")
((triple4 ((triple4 triple5) -> (rule5 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is not red.
False
5
inv-proof
[(((triple4 ((triple4 triple5) -> rule5)) -> rule2))]
("Dave" "is" "red" "-")
((triple4 ((triple4 triple5) -> (rule5 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is kind.
True
8
proof
[(((triple2 triple4 ((triple4 ((triple4 triple5) -> rule5)) -> rule2)) -> rule1))]
("Dave" "is" "kind" "+")
((triple2 triple4 ((triple4 ((triple4 triple5) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is not kind.
False
8
inv-proof
[(((triple2 triple4 ((triple4 ((triple4 triple5) -> rule5)) -> rule2)) -> rule1))]
("Dave" "is" "kind" "-")
((triple2 triple4 ((triple4 ((triple4 triple5) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Fred is not cold.
Unknown
inv-rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "cold" "-")
Dave is cold.
Unknown
rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "cold" "+")
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "red" "-")
Charlie is rough.
Unknown
rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "rough" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
Fred is not big.
Unknown
inv-random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Charlie is green.[(triple1)] Dave is big.[(triple5)] Dave is blue.[(triple4)] Dave is green.[(triple3)] Dave is young.[(triple2)] Fred is red.[(triple6)] Gary is kind.[(triple7)] @1: Dave is rough.[(((triple4 triple5) -> rule5))] @2: Dave is red.[(((triple4 ((triple4 triple5) -> rule5)) -> rule2))] @3: Dave is kind.[(((triple2 triple4 ((triple4 ((triple4 triple5) -> rule5)) -> rule2)) -> rule1))]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple5
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is young.
("Dave" "is" "young" "+")
triple2
Fred is red.
("Fred" "is" "red" "+")
triple6
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
((triple4 triple5) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((triple4 ((triple4 triple5) -> (rule5 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
((triple2 triple4 ((triple4 ((triple4 triple5) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Charlie ate some rotten meat and now feels green.
Dave is too young to be so big; Some say he is too green to be so blue as well.
Red Fred is what folks call him, because he is quite red.
Gary always goes out of his way to show that he is kind to people.
Young people with red skin who are a bit downhearted and blue are kind.
If someone is blue and rough, they always see red in others.
If you meet a young, round person who is nice on the street, offer them your coat because they are cold.
A kind, young person will be rough textured.
Blue people who are big tend to be rough.