They always call him rough Bob. People think Charlie is nice and kind for someone so young.  Charlie wears his favorite color green all the time. Red Fred is what folks call him, because he is quite red. Harry is round, dresses in red, but is blue with cold. A person with nice, blue traits who is young will surely be a round person. A green person is going to be rough. A person with the qualities of being cold and being red will also be a person that is green. A blue, rough and round person will also be a big person.
Bob is rough.
("Bob" "is" "rough" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Fred is red.
("Fred" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is blue and nice and young then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is green then they are rough.
((("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and red then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and rough and round then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
Bob is rough.
True
1
proof
[(triple1)]
("Bob" "is" "rough" "+")
triple1
Harry is not red.
False
1
inv-proof
[(triple8)]
("Harry" "is" "red" "-")
triple8
Charlie is rough.
True
2
proof
[(((triple5) -> rule2))]
("Charlie" "is" "rough" "+")
((triple5) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is not rough.
False
2
inv-proof
[(((triple5) -> rule2))]
("Charlie" "is" "rough" "-")
((triple5) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Harry is rough.
True
4
proof
[(((((triple9 triple8) -> rule3)) -> rule2))]
("Harry" "is" "rough" "+")
((((triple9 triple8) -> (rule3 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is not rough.
False
4
inv-proof
[(((((triple9 triple8) -> rule3)) -> rule2))]
("Harry" "is" "rough" "-")
((((triple9 triple8) -> (rule3 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is big.
True
7
proof
[(((triple10 ((((triple9 triple8) -> rule3)) -> rule2) triple7) -> rule4))]
("Harry" "is" "big" "+")
((triple10 ((((triple9 triple8) -> (rule3 % int3))) -> (rule2 % int2)) triple7) -> (rule4 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is not big.
False
7
inv-proof
[(((triple10 ((((triple9 triple8) -> rule3)) -> rule2) triple7) -> rule4))]
("Harry" "is" "big" "-")
((triple10 ((((triple9 triple8) -> (rule3 % int3))) -> (rule2 % int2)) triple7) -> (rule4 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Fred is not round.
Unknown
inv-rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "round" "-")
Charlie is round.
Unknown
rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "round" "+")
Fred is not rough.
Unknown
inv-rconc
[@2: Fred is rough.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Fred" "is" "rough" "-")
Fred is green.
Unknown
rconc
[@1: Fred is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "green" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Bob is rough.[(triple1)] Charlie is green.[(triple5)] Charlie is kind.[(triple4)] Charlie is nice.[(triple3)] Charlie is young.[(triple2)] Fred is red.[(triple6)] Harry is blue.[(triple10)] Harry is cold.[(triple9)] Harry is red.[(triple8)] Harry is round.[(triple7)] @1: Charlie is rough.[(((triple5) -> rule2))] Harry is green.[(((triple9 triple8) -> rule3))] @2: Harry is rough.[(((((triple9 triple8) -> rule3)) -> rule2))] @3: Harry is big.[(((triple10 ((((triple9 triple8) -> rule3)) -> rule2) triple7) -> rule4))]
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple2
Fred is red.
("Fred" "is" "red" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple8
Harry is round.
("Harry" "is" "round" "+")
triple7
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple5) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple9 triple8) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((((triple9 triple8) -> (rule3 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
((triple10 ((((triple9 triple8) -> (rule3 % int3))) -> (rule2 % int2)) triple7) -> (rule4 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
They always call him rough Bob.
People think Charlie is nice and kind for someone so young; Charlie wears his favorite color green all the time.
Red Fred is what folks call him, because he is quite red.
Harry is round, dresses in red, but is blue with cold.
A person with nice, blue traits who is young will surely be a round person.
A green person is going to be rough.
A person with the qualities of being cold and being red will also be a person that is green.
A blue, rough and round person will also be a big person.