Bob is rough, but often feels blue. He is pretty young. Young Dave got into a fight that left him with red sores on his face. That big young man is Eric he can act in a somewhat rough manner but that's just because he feels very green here. Gary was born only a few years ago so he is young. Big, kind people that are rough are known for being red. If red and slightly green people are asked, they will tell you they feel blue. A young person who is red and green is also going to look round. A green person that is cold is often considered to be red. When someone is big, young and rough, they can be cold.
Bob is young.
("Bob" "is" "young" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is red.
("Dave" "is" "red" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is big and kind and rough then they are red.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is green and red then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and green and red then they are round.
((("someone" "is" "young" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is green and cold then they are red.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and young and big then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
Gary is young.
True
1
proof
[(triple10)]
("Gary" "is" "young" "+")
triple10
Eric is not rough.
False
1
inv-proof
[(triple7)]
("Eric" "is" "rough" "-")
triple7
Eric is cold.
True
4
proof
[(((triple7 triple6 triple9) -> rule5))]
("Eric" "is" "cold" "+")
((triple7 triple6 triple9) -> (rule5 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is not cold.
False
4
inv-proof
[(((triple7 triple6 triple9) -> rule5))]
("Eric" "is" "cold" "-")
((triple7 triple6 triple9) -> (rule5 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is red.
True
6
proof
[(((triple8 ((triple7 triple6 triple9) -> rule5)) -> rule4))]
("Eric" "is" "red" "+")
((triple8 ((triple7 triple6 triple9) -> (rule5 % int2))) -> (rule4 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is not red.
False
6
inv-proof
[(((triple8 ((triple7 triple6 triple9) -> rule5)) -> rule4))]
("Eric" "is" "red" "-")
((triple8 ((triple7 triple6 triple9) -> (rule5 % int2))) -> (rule4 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is blue.
True
8
proof
[(((triple8 ((triple8 ((triple7 triple6 triple9) -> rule5)) -> rule4)) -> rule2))]
("Eric" "is" "blue" "+")
((triple8 ((triple8 ((triple7 triple6 triple9) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is not round.
False
9
inv-proof
[(((triple6 triple8 ((triple8 ((triple7 triple6 triple9) -> rule5)) -> rule4)) -> rule3))]
("Eric" "is" "round" "-")
((triple6 triple8 ((triple8 ((triple7 triple6 triple9) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Dave is not blue.
Unknown
inv-rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "blue" "-")
Bob is red.
Unknown
rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "red" "+")
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "blue" "-")
Dave is cold.
Unknown
rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "cold" "+")
Eric is not nice.
Unknown
inv-random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Bob is blue.[(triple3)] Bob is rough.[(triple2)] Bob is young.[(triple1)] Dave is red.[(triple5)] Dave is young.[(triple4)] Eric is big.[(triple9)] Eric is green.[(triple8)] Eric is rough.[(triple7)] Eric is young.[(triple6)] Gary is young.[(triple10)] @1: Eric is cold.[(((triple7 triple6 triple9) -> rule5))] @2: Eric is red.[(((triple8 ((triple7 triple6 triple9) -> rule5)) -> rule4))] @3: Eric is blue.[(((triple8 ((triple8 ((triple7 triple6 triple9) -> rule5)) -> rule4)) -> rule2))] Eric is round.[(((triple6 triple8 ((triple8 ((triple7 triple6 triple9) -> rule5)) -> rule4)) -> rule3))]
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Dave is red.
("Dave" "is" "red" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple4
Eric is big.
("Eric" "is" "big" "+")
triple9
Eric is green.
("Eric" "is" "green" "+")
triple8
Eric is rough.
("Eric" "is" "rough" "+")
triple7
Eric is young.
("Eric" "is" "young" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple10
Eric is cold.
("Eric" "is" "cold" "+")
((triple7 triple6 triple9) -> (rule5 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
((triple8 ((triple7 triple6 triple9) -> (rule5 % int2))) -> (rule4 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
((triple8 ((triple8 ((triple7 triple6 triple9) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
((triple6 triple8 ((triple8 ((triple7 triple6 triple9) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Bob is rough, but often feels blue; He is pretty young.
Young Dave got into a fight that left him with red sores on his face.
That big young man is Eric he can act in a somewhat rough manner but that's just because he feels very green here.
Gary was born only a few years ago so he is young.
Big, kind people that are rough are known for being red.
If red and slightly green people are asked, they will tell you they feel blue.
A young person who is red and green is also going to look round.
A green person that is cold is often considered to be red.
When someone is big, young and rough, they can be cold.