Charlie is a nice and red, but very kind person as soon as you meet him. Dave is known to be rough and green. Eric is blue just like his dog. Eric is rough and round enough for the dog to use him as an exercise wheel. Gary is considered to be a rather nice person who is also described as being kind, green and big. Nice blue people are often rough. A kind red person is also a blue person. Almost all of the young blue and red people I have seen are big as well. I see it all the time, nice big people make equal a cold person. People who are rough and nice and blue can be round. People that are blue, cold, and big, are rather rough.
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is green.
("Dave" "is" "green" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is nice and blue then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and red then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and blue and red then they are big.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and big then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and nice and blue then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and cold and big then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Charlie is red.
True
1
proof
[(triple1)]
("Charlie" "is" "red" "+")
triple1
Gary is not green.
False
1
inv-proof
[(triple11)]
("Gary" "is" "green" "-")
triple11
Gary is cold.
True
3
proof
[(((triple9 triple12) -> rule4))]
("Gary" "is" "cold" "+")
((triple9 triple12) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Charlie is not blue.
False
3
inv-proof
[(((triple3 triple1) -> rule2))]
("Charlie" "is" "blue" "-")
((triple3 triple1) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
True
5
proof
[(((triple2 ((triple3 triple1) -> rule2)) -> rule1))]
("Charlie" "is" "rough" "+")
((triple2 ((triple3 triple1) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is not rough.
False
5
inv-proof
[(((triple2 ((triple3 triple1) -> rule2)) -> rule1))]
("Charlie" "is" "rough" "-")
((triple2 ((triple3 triple1) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is round.
True
10
proof
[(((((triple2 ((triple3 triple1) -> rule2)) -> rule1) triple2 ((triple3 triple1) -> rule2)) -> rule5))]
("Charlie" "is" "round" "+")
((((triple2 ((triple3 triple1) -> (rule2 % int3))) -> (rule1 % int2)) triple2 ((triple3 triple1) -> (rule2 % int3))) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is not round.
False
10
inv-proof
[(((((triple2 ((triple3 triple1) -> rule2)) -> rule1) triple2 ((triple3 triple1) -> rule2)) -> rule5))]
("Charlie" "is" "round" "-")
((((triple2 ((triple3 triple1) -> (rule2 % int3))) -> (rule1 % int2)) triple2 ((triple3 triple1) -> (rule2 % int3))) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Dave is not blue.
Unknown
inv-rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "blue" "-")
Gary is rough.
Unknown
rconc
[@2: Gary is rough.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Gary" "is" "rough" "+")
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "big" "-")
Dave is cold.
Unknown
rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "cold" "+")
Eric is not red.
Unknown
inv-random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
@0: Charlie is kind.[(triple3)] Charlie is nice.[(triple2)] Charlie is red.[(triple1)] Dave is green.[(triple5)] Dave is rough.[(triple4)] Eric is blue.[(triple8)] Eric is rough.[(triple7)] Eric is round.[(triple6)] Gary is big.[(triple12)] Gary is green.[(triple11)] Gary is kind.[(triple10)] Gary is nice.[(triple9)] @1: Charlie is blue.[(((triple3 triple1) -> rule2))] Gary is cold.[(((triple9 triple12) -> rule4))] @2: Charlie is rough.[(((triple2 ((triple3 triple1) -> rule2)) -> rule1))] @3: Charlie is round.[(((((triple2 ((triple3 triple1) -> rule2)) -> rule1) triple2 ((triple3 triple1) -> rule2)) -> rule5))]
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
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Eric is blue.
("Eric" "is" "blue" "+")
triple8
Eric is rough.
("Eric" "is" "rough" "+")
triple7
Eric is round.
("Eric" "is" "round" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple12
Gary is green.
("Gary" "is" "green" "+")
triple11
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple3 triple1) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple9 triple12) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple2 ((triple3 triple1) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
((((triple2 ((triple3 triple1) -> (rule2 % int3))) -> (rule1 % int2)) triple2 ((triple3 triple1) -> (rule2 % int3))) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is a nice and red, but very kind person as soon as you meet him.
Dave is known to be rough and green.
Eric is blue just like his dog; Eric is rough and round enough for the dog to use him as an exercise wheel.
Gary is considered to be a rather nice person who is also described as being kind, green and big.
Nice blue people are often rough.
A kind red person is also a blue person.
Almost all of the young blue and red people I have seen are big as well.
I see it all the time, nice big people make equal a cold person.
People who are rough and nice and blue can be round.
People that are blue, cold, and big, are rather rough.