They always call him rough Bob. Fred is green, which is a possible explanation for why he is so nice. Gary is rather rough but nice, he is a little green, cold and blue. Harry is big and rough. A kind, round person will surely be red as well. Anyone that is a red, nice soul will be big, too. If someone is a bit rough, but also nice, then they qualify as round. If you are big and young then your are also nice. A round person will also be red. Blue, red and nice people are always big, too.
Bob is rough.
("Bob" "is" "rough" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is green.
("Fred" "is" "green" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is kind and round then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is red and nice then they are big.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and rough then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is big and young then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is round then they are red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and blue and red then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
Gary is nice.
True
1
proof
[(triple5)]
("Gary" "is" "nice" "+")
triple5
Harry is not rough.
False
1
inv-proof
[(triple9)]
("Harry" "is" "rough" "-")
triple9
Gary is round.
True
3
proof
[(((triple5 triple4) -> rule3))]
("Gary" "is" "round" "+")
((triple5 triple4) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not round.
False
3
inv-proof
[(((triple5 triple4) -> rule3))]
("Gary" "is" "round" "-")
((triple5 triple4) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
True
4
proof
[(((((triple5 triple4) -> rule3)) -> rule5))]
("Gary" "is" "red" "+")
((((triple5 triple4) -> (rule3 % int2))) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is not red.
False
4
inv-proof
[(((((triple5 triple4) -> rule3)) -> rule5))]
("Gary" "is" "red" "-")
((((triple5 triple4) -> (rule3 % int2))) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is big.
True
6
proof
[(((((((triple5 triple4) -> rule3)) -> rule5) triple5) -> rule2) OR ((triple5 triple8 ((((triple5 triple4) -> rule3)) -> rule5)) -> rule6))]
("Gary" "is" "big" "+")
((((((triple5 triple4) -> (rule3 % int3))) -> (rule5 % int2)) triple5) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((triple5 triple8 ((((triple5 triple4) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is not big.
False
6
inv-proof
[(((((((triple5 triple4) -> rule3)) -> rule5) triple5) -> rule2) OR ((triple5 triple8 ((((triple5 triple4) -> rule3)) -> rule5)) -> rule6))]
("Gary" "is" "big" "-")
((((((triple5 triple4) -> (rule3 % int3))) -> (rule5 % int2)) triple5) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((triple5 triple8 ((((triple5 triple4) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "nice" "-")
Fred is red.
Unknown
rconc
[@2: Fred is red.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Fred" "is" "red" "+")
Bob is not round.
Unknown
inv-rconc
[@2: Bob is round.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Bob" "is" "round" "-")
Bob is big.
Unknown
rconc
[@2: Bob is big.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Bob" "is" "big" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Fred is cold.
Unknown
random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Bob is rough.[(triple1)] Fred is green.[(triple3)] Fred is nice.[(triple2)] Gary is blue.[(triple8)] Gary is cold.[(triple7)] Gary is green.[(triple6)] Gary is nice.[(triple5)] Gary is rough.[(triple4)] Harry is big.[(triple10)] Harry is rough.[(triple9)] @1: Gary is round.[(((triple5 triple4) -> rule3))] @2: Gary is red.[(((((triple5 triple4) -> rule3)) -> rule5))] @3: Gary is big.[(((((((triple5 triple4) -> rule3)) -> rule5) triple5) -> rule2) OR ((triple5 triple8 ((((triple5 triple4) -> rule3)) -> rule5)) -> rule6))]
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Fred is green.
("Fred" "is" "green" "+")
triple3
Fred is nice.
("Fred" "is" "nice" "+")
triple2
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
triple6
Gary is nice.
("Gary" "is" "nice" "+")
triple5
Gary is rough.
("Gary" "is" "rough" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
((triple5 triple4) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((((triple5 triple4) -> (rule3 % int2))) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
((((((triple5 triple4) -> (rule3 % int3))) -> (rule5 % int2)) triple5) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((triple5 triple8 ((((triple5 triple4) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
They always call him rough Bob.
Fred is green, which is a possible explanation for why he is so nice.
Gary is rather rough but nice, he is a little green, cold and blue.
Harry is big and rough.
A kind, round person will surely be red as well.
Anyone that is a red, nice soul will be big, too.
If someone is a bit rough, but also nice, then they qualify as round.
If you are big and young then your are also nice.
A round person will also be red.
Blue, red and nice people are always big, too.