Young Bob got into a fight that left him with red sores on his face. Big Dave, the most blue guy I know while also being cold. Gary was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure. They always call him rough Harry. A person with rough skin who has been standing in the cold will turn red. Blue people who are big tend to be rough. Color anybody red and blue, then make them rough, and they will surely be round. People who are nice, big, and also rough, are considered red.
Bob is young.
("Bob" "is" "young" "+")
Bob is red.
("Bob" "is" "red" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If someone is cold and rough then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and big then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and rough and red then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and big and rough then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
Gary is round.
True
1
proof
[(triple6)]
("Gary" "is" "round" "+")
triple6
Dave is not big.
False
1
inv-proof
[(triple5)]
("Dave" "is" "big" "-")
triple5
Dave is rough.
True
3
proof
[(((triple4 triple5) -> rule2))]
("Dave" "is" "rough" "+")
((triple4 triple5) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is not rough.
False
3
inv-proof
[(((triple4 triple5) -> rule2))]
("Dave" "is" "rough" "-")
((triple4 triple5) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is red.
True
5
proof
[(((triple3 ((triple4 triple5) -> rule2)) -> rule1))]
("Dave" "is" "red" "+")
((triple3 ((triple4 triple5) -> (rule2 % int2))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is not red.
False
5
inv-proof
[(((triple3 ((triple4 triple5) -> rule2)) -> rule1))]
("Dave" "is" "red" "-")
((triple3 ((triple4 triple5) -> (rule2 % int2))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is round.
True
10
proof
[(((triple4 ((triple4 triple5) -> rule2) ((triple3 ((triple4 triple5) -> rule2)) -> rule1)) -> rule3))]
("Dave" "is" "round" "+")
((triple4 ((triple4 triple5) -> (rule2 % int3)) ((triple3 ((triple4 triple5) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is not round.
False
10
inv-proof
[(((triple4 ((triple4 triple5) -> rule2) ((triple3 ((triple4 triple5) -> rule2)) -> rule1)) -> rule3))]
("Dave" "is" "round" "-")
((triple4 ((triple4 triple5) -> (rule2 % int3)) ((triple3 ((triple4 triple5) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "round" "-")
Harry is red.
Unknown
rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "red" "+")
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "rough" "-")
Bob is round.
Unknown
rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "round" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Bob is red.[(triple2)] Bob is young.[(triple1)] Dave is big.[(triple5)] Dave is blue.[(triple4)] Dave is cold.[(triple3)] Gary is blue.[(triple8)] Gary is green.[(triple7)] Gary is round.[(triple6)] Harry is rough.[(triple9)] @1: Dave is rough.[(((triple4 triple5) -> rule2))] @2: Dave is red.[(((triple3 ((triple4 triple5) -> rule2)) -> rule1))] @3: Dave is round.[(((triple4 ((triple4 triple5) -> rule2) ((triple3 ((triple4 triple5) -> rule2)) -> rule1)) -> rule3))]
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple5
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is cold.
("Dave" "is" "cold" "+")
triple3
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is round.
("Gary" "is" "round" "+")
triple6
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Dave is rough.
("Dave" "is" "rough" "+")
((triple4 triple5) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((triple3 ((triple4 triple5) -> (rule2 % int2))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
((triple4 ((triple4 triple5) -> (rule2 % int3)) ((triple3 ((triple4 triple5) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Young Bob got into a fight that left him with red sores on his face.
Big Dave, the most blue guy I know while also being cold.
Gary was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure.
They always call him rough Harry.
A person with rough skin who has been standing in the cold will turn red.
Blue people who are big tend to be rough.
Color anybody red and blue, then make them rough, and they will surely be round.
People who are nice, big, and also rough, are considered red.