Bob is a kind and red colored guy. Red Charlie is what folks call him, because he is quite red. Dave is a big gentleman who is very nice. He is secretly green with envy. Gary ate some rotten meat and now feels green. A big person who is red and nice to others is also young. A nice, big person that is red is usually young. A kind, young person will be rough textured. A quite nice person will certainly be red. Someone who is young and nice is often round. People who are kind and green are very often rough. Rough people who are nice and have green thumbs are almost always young.
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is big.
("Dave" "is" "big" "+")
Gary is green.
("Gary" "is" "green" "+")
If someone is red and nice and big then they are young.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and red and big then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is young and kind then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice then they are red.
((("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is young and nice then they are round.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and green then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and green and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
Bob is red.
True
1
proof
[(triple1)]
("Bob" "is" "red" "+")
triple1
Gary is not green.
False
1
inv-proof
[(triple7)]
("Gary" "is" "green" "-")
triple7
Dave is red.
True
2
proof
[(((triple4) -> rule4))]
("Dave" "is" "red" "+")
((triple4) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is not red.
False
2
inv-proof
[(((triple4) -> rule4))]
("Dave" "is" "red" "-")
((triple4) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
True
5
proof
[(((triple4 ((triple4) -> rule4) triple6) -> rule2) OR ((((triple4) -> rule4) triple4 triple6) -> rule1))]
("Dave" "is" "young" "+")
((triple4 ((triple4) -> (rule4 % int2)) triple6) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((((triple4) -> (rule4 % int2)) triple4 triple6) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is not young.
False
5
inv-proof
[(((triple4 ((triple4) -> rule4) triple6) -> rule2) OR ((((triple4) -> rule4) triple4 triple6) -> rule1))]
("Dave" "is" "young" "-")
((triple4 ((triple4) -> (rule4 % int2)) triple6) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((((triple4) -> (rule4 % int2)) triple4 triple6) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is round.
True
7
proof
[(((((triple4 ((triple4) -> rule4) triple6) -> rule2) triple4) -> rule5) OR ((((((triple4) -> rule4) triple4 triple6) -> rule1) triple4) -> rule5))]
("Dave" "is" "round" "+")
((((triple4 ((triple4) -> (rule4 % int3)) triple6) -> (rule2 % int2)) triple4) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((((triple4) -> (rule4 % int3)) triple4 triple6) -> (rule1 % int2)) triple4) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is not round.
False
7
inv-proof
[(((((triple4 ((triple4) -> rule4) triple6) -> rule2) triple4) -> rule5) OR ((((((triple4) -> rule4) triple4 triple6) -> rule1) triple4) -> rule5))]
("Dave" "is" "round" "-")
((((triple4 ((triple4) -> (rule4 % int3)) triple6) -> (rule2 % int2)) triple4) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((((triple4) -> (rule4 % int3)) triple4 triple6) -> (rule1 % int2)) triple4) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "rough" "-")
Gary is rough.
Unknown
rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "rough" "+")
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "red" "-")
Gary is young.
Unknown
rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "young" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Bob is kind.[(triple2)] Bob is red.[(triple1)] Charlie is red.[(triple3)] Dave is big.[(triple6)] Dave is green.[(triple5)] Dave is nice.[(triple4)] Gary is green.[(triple7)] @1: Dave is red.[(((triple4) -> rule4))] @2: Dave is young.[(((triple4 ((triple4) -> rule4) triple6) -> rule2) OR ((((triple4) -> rule4) triple4 triple6) -> rule1))] @3: Dave is round.[(((((triple4 ((triple4) -> rule4) triple6) -> rule2) triple4) -> rule5) OR ((((((triple4) -> rule4) triple4 triple6) -> rule1) triple4) -> rule5))]
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is green.
("Dave" "is" "green" "+")
triple5
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Gary is green.
("Gary" "is" "green" "+")
triple7
Dave is red.
("Dave" "is" "red" "+")
((triple4) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((triple4 ((triple4) -> (rule4 % int2)) triple6) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((((triple4) -> (rule4 % int2)) triple4 triple6) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
((((triple4 ((triple4) -> (rule4 % int3)) triple6) -> (rule2 % int2)) triple4) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((((triple4) -> (rule4 % int3)) triple4 triple6) -> (rule1 % int2)) triple4) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Bob is a kind and red colored guy.
Red Charlie is what folks call him, because he is quite red.
Dave is a big gentleman who is very nice; He is secretly green with envy.
Gary ate some rotten meat and now feels green.
A big person who is red and nice to others is also young.
A nice, big person that is red is usually young.
A kind, young person will be rough textured.
A quite nice person will certainly be red.
Someone who is young and nice is often round.
People who are kind and green are very often rough.
Rough people who are nice and have green thumbs are almost always young.