Dave is colored red and green. He is a nice young man and is also very big. Eric always goes out of his way to show that he is kind to people. Fred was born only a few years ago so he is young. Big Gary is nice but also rough. Someone who is cold, big, and rough is always green, as a rule. A kind, young person will be rough textured. Someone who has rough nails and blue teeth as well as being kind to adults are often noted to having big fingers. Big, red things tend to have a kind spirit to them. Big people that are also rough, are ultimately round.
Dave is young.
("Dave" "is" "young" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Fred is young.
("Fred" "is" "young" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is cold and big and rough then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is young and kind then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and blue and kind then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is red and big then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and rough then they are round.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
Gary is rough.
True
1
proof
[(triple8)]
("Gary" "is" "rough" "+")
triple8
Dave is not green.
False
1
inv-proof
[(triple4)]
("Dave" "is" "green" "-")
triple4
Gary is round.
True
3
proof
[(((triple10 triple8) -> rule5))]
("Gary" "is" "round" "+")
((triple10 triple8) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Dave is not kind.
False
3
inv-proof
[(((triple2 triple5) -> rule4))]
("Dave" "is" "kind" "-")
((triple2 triple5) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is rough.
True
5
proof
[(((triple1 ((triple2 triple5) -> rule4)) -> rule2))]
("Dave" "is" "rough" "+")
((triple1 ((triple2 triple5) -> (rule4 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is not rough.
False
5
inv-proof
[(((triple1 ((triple2 triple5) -> rule4)) -> rule2))]
("Dave" "is" "rough" "-")
((triple1 ((triple2 triple5) -> (rule4 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is round.
True
7
proof
[(((triple5 ((triple1 ((triple2 triple5) -> rule4)) -> rule2)) -> rule5))]
("Dave" "is" "round" "+")
((triple5 ((triple1 ((triple2 triple5) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is not round.
False
7
inv-proof
[(((triple5 ((triple1 ((triple2 triple5) -> rule4)) -> rule2)) -> rule5))]
("Dave" "is" "round" "-")
((triple5 ((triple1 ((triple2 triple5) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Fred is not round.
Unknown
inv-rconc
[@2: Fred is round.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Fred" "is" "round" "-")
Eric is big.
Unknown
rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "big" "+")
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "kind" "-")
Eric is rough.
Unknown
rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "rough" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Eric is young.
Unknown
random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "+")
Fred is not red.
Unknown
inv-random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "-")
Fred is blue.
Unknown
random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "+")
@0: Dave is big.[(triple5)] Dave is green.[(triple4)] Dave is nice.[(triple3)] Dave is red.[(triple2)] Dave is young.[(triple1)] Eric is kind.[(triple6)] Fred is young.[(triple7)] Gary is big.[(triple10)] Gary is nice.[(triple9)] Gary is rough.[(triple8)] @1: Dave is kind.[(((triple2 triple5) -> rule4))] Gary is round.[(((triple10 triple8) -> rule5))] @2: Dave is rough.[(((triple1 ((triple2 triple5) -> rule4)) -> rule2))] @3: Dave is round.[(((triple5 ((triple1 ((triple2 triple5) -> rule4)) -> rule2)) -> rule5))]
Dave is big.
("Dave" "is" "big" "+")
triple5
Dave is green.
("Dave" "is" "green" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is red.
("Dave" "is" "red" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple1
Eric is kind.
("Eric" "is" "kind" "+")
triple6
Fred is young.
("Fred" "is" "young" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple8
Dave is kind.
("Dave" "is" "kind" "+")
((triple2 triple5) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple10 triple8) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
((triple1 ((triple2 triple5) -> (rule4 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
((triple5 ((triple1 ((triple2 triple5) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is colored red and green; He is a nice young man and is also very big.
Eric always goes out of his way to show that he is kind to people.
Fred was born only a few years ago so he is young.
Big Gary is nice but also rough.
Someone who is cold, big, and rough is always green, as a rule.
A kind, young person will be rough textured.
Someone who has rough nails and blue teeth as well as being kind to adults are often noted to having big fingers.
Big, red things tend to have a kind spirit to them.
Big people that are also rough, are ultimately round.