They always call him rough Bob. Charlie is big and rough. They always call him rough Fred. Young Harry is quite nice, and because he is so round can be considered quite big. A nice person with rough skin is red. People who are rough, round in shape, and big in stature are usuallu blue in color. Someone who is both red and blue will also be a nice person. Lucky for us, people that are round and red are kind to strangers. Round and big people are sure to be rough. It's just a fact that a blue person is a kind person. Blue, red and nice people are always big, too.
Bob is rough.
("Bob" "is" "rough" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is rough and nice then they are red.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and round and big then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and blue then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and red then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and big then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue then they are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and blue and red then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
Charlie is big.
True
1
proof
[(triple3)]
("Charlie" "is" "big" "+")
triple3
Harry is not big.
False
1
inv-proof
[(triple8)]
("Harry" "is" "big" "-")
triple8
Harry is rough.
True
3
proof
[(((triple6 triple8) -> rule5))]
("Harry" "is" "rough" "+")
((triple6 triple8) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is not rough.
False
3
inv-proof
[(((triple6 triple8) -> rule5))]
("Harry" "is" "rough" "-")
((triple6 triple8) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
True
5
proof
[(((((triple6 triple8) -> rule5) triple7) -> rule1))]
("Harry" "is" "red" "+")
((((triple6 triple8) -> (rule5 % int2)) triple7) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is not blue.
False
6
inv-proof
[(((((triple6 triple8) -> rule5) triple6 triple8) -> rule2))]
("Harry" "is" "blue" "-")
((((triple6 triple8) -> (rule5 % int2)) triple6 triple8) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
True
7
proof
[(((((((triple6 triple8) -> rule5) triple6 triple8) -> rule2)) -> rule6) OR ((triple6 ((((triple6 triple8) -> rule5) triple7) -> rule1)) -> rule4))]
("Harry" "is" "kind" "+")
((((((triple6 triple8) -> (rule5 % int3)) triple6 triple8) -> (rule2 % int2))) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((triple6 ((((triple6 triple8) -> (rule5 % int3)) triple7) -> (rule1 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is not kind.
False
7
inv-proof
[(((((((triple6 triple8) -> rule5) triple6 triple8) -> rule2)) -> rule6) OR ((triple6 ((((triple6 triple8) -> rule5) triple7) -> rule1)) -> rule4))]
("Harry" "is" "kind" "-")
((((((triple6 triple8) -> (rule5 % int3)) triple6 triple8) -> (rule2 % int2))) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((triple6 ((((triple6 triple8) -> (rule5 % int3)) triple7) -> (rule1 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Charlie is not red.
Unknown
inv-rconc
[@2: Charlie is red.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Charlie" "is" "red" "-")
Bob is kind.
Unknown
rconc
[@2: Bob is kind.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Bob" "is" "kind" "+")
Bob is not nice.
Unknown
inv-rconc
[@2: Bob is nice.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Bob" "is" "nice" "-")
Fred is big.
Unknown
rconc
[@2: Fred is big.[CWA. Example of deepest failure = (rule7 <- rule2 <- FAIL)]]
("Fred" "is" "big" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Bob is rough.[(triple1)] Charlie is big.[(triple3)] Charlie is rough.[(triple2)] Fred is rough.[(triple4)] Harry is big.[(triple8)] Harry is nice.[(triple7)] Harry is round.[(triple6)] Harry is young.[(triple5)] @1: Harry is rough.[(((triple6 triple8) -> rule5))] @2: Harry is blue.[(((((triple6 triple8) -> rule5) triple6 triple8) -> rule2))] Harry is red.[(((((triple6 triple8) -> rule5) triple7) -> rule1))] @3: Harry is kind.[(((((((triple6 triple8) -> rule5) triple6 triple8) -> rule2)) -> rule6) OR ((triple6 ((((triple6 triple8) -> rule5) triple7) -> rule1)) -> rule4))]
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Fred is rough.
("Fred" "is" "rough" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
triple8
Harry is nice.
("Harry" "is" "nice" "+")
triple7
Harry is round.
("Harry" "is" "round" "+")
triple6
Harry is young.
("Harry" "is" "young" "+")
triple5
Harry is rough.
("Harry" "is" "rough" "+")
((triple6 triple8) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((((triple6 triple8) -> (rule5 % int2)) triple6 triple8) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
((((triple6 triple8) -> (rule5 % int2)) triple7) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
((((((triple6 triple8) -> (rule5 % int3)) triple6 triple8) -> (rule2 % int2))) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((triple6 ((((triple6 triple8) -> (rule5 % int3)) triple7) -> (rule1 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
They always call him rough Bob.
Charlie is big and rough.
They always call him rough Fred.
Young Harry is quite nice, and because he is so round can be considered quite big.
A nice person with rough skin is red.
People who are rough, round in shape, and big in stature are usuallu blue in color.
Someone who is both red and blue will also be a nice person.
Lucky for us, people that are round and red are kind to strangers.
Round and big people are sure to be rough.
It's just a fact that a blue person is a kind person.
Blue, red and nice people are always big, too.