They always call him rough Bob. They always call him rough Charlie. Gary is round, dresses in red, but is blue with cold. Red Harry is what folks call him, because he is quite red. A round person who is nice and feelin cold is usually rough in apperance. Young and nice people have great big smiles. People who are round, blue and cold are usually nice. People who are rough are often rather kind as well.
Bob is rough.
("Bob" "is" "rough" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is red.
("Harry" "is" "red" "+")
If someone is round and nice and cold then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and nice then they are big.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is round and blue and cold then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough then they are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Gary is red.
True
1
proof
[(triple4)]
("Gary" "is" "red" "+")
triple4
Charlie is not rough.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "rough" "-")
triple2
Gary is nice.
True
4
proof
[(((triple3 triple6 triple5) -> rule3))]
("Gary" "is" "nice" "+")
((triple3 triple6 triple5) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Charlie is not kind.
False
2
inv-proof
[(((triple2) -> rule4))]
("Charlie" "is" "kind" "-")
((triple2) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Gary is rough.
True
7
proof
[(((triple3 ((triple3 triple6 triple5) -> rule3) triple5) -> rule1))]
("Gary" "is" "rough" "+")
((triple3 ((triple3 triple6 triple5) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is not rough.
False
7
inv-proof
[(((triple3 ((triple3 triple6 triple5) -> rule3) triple5) -> rule1))]
("Gary" "is" "rough" "-")
((triple3 ((triple3 triple6 triple5) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is kind.
True
8
proof
[(((((triple3 ((triple3 triple6 triple5) -> rule3) triple5) -> rule1)) -> rule4))]
("Gary" "is" "kind" "+")
((((triple3 ((triple3 triple6 triple5) -> (rule3 % int3)) triple5) -> (rule1 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is not kind.
False
8
inv-proof
[(((((triple3 ((triple3 triple6 triple5) -> rule3) triple5) -> rule1)) -> rule4))]
("Gary" "is" "kind" "-")
((((triple3 ((triple3 triple6 triple5) -> (rule3 % int3)) triple5) -> (rule1 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "big" "-")
Gary is big.
Unknown
rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "big" "+")
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "big" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "nice" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Bob is rough.[(triple1)] Charlie is rough.[(triple2)] Gary is blue.[(triple6)] Gary is cold.[(triple5)] Gary is red.[(triple4)] Gary is round.[(triple3)] Harry is red.[(triple7)] @1: Bob is kind.[(((triple1) -> rule4))] Charlie is kind.[(((triple2) -> rule4))] Gary is nice.[(((triple3 triple6 triple5) -> rule3))] @2: Gary is rough.[(((triple3 ((triple3 triple6 triple5) -> rule3) triple5) -> rule1))] @3: Gary is kind.[(((((triple3 ((triple3 triple6 triple5) -> rule3) triple5) -> rule1)) -> rule4))]
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Gary is blue.
("Gary" "is" "blue" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple5
Gary is red.
("Gary" "is" "red" "+")
triple4
Gary is round.
("Gary" "is" "round" "+")
triple3
Harry is red.
("Harry" "is" "red" "+")
triple7
Bob is kind.
("Bob" "is" "kind" "+")
((triple1) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple2) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple3 triple6 triple5) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple3 ((triple3 triple6 triple5) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
((((triple3 ((triple3 triple6 triple5) -> (rule3 % int3)) triple5) -> (rule1 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
They always call him rough Bob.
They always call him rough Charlie.
Gary is round, dresses in red, but is blue with cold.
Red Harry is what folks call him, because he is quite red.
A round person who is nice and feelin cold is usually rough in apperance.
Young and nice people have great big smiles.
People who are round, blue and cold are usually nice.
People who are rough are often rather kind as well.