Fred is young and kind.  But he plays really rough with his friends. Gary is a rough but very kind and blue person. They always call him rough Harry. People who are big and kind are also round. A round shaped and young aged person will be very cold. A big, blue person who is kind is also round. When someone is young, they can be cold but kind. Rough, round persons are also nice persons. If a person is young and very kind then they will be rather big. Whenever you see Pete you run into a young man rough, which means he will be nice.
Fred is young.
("Fred" "is" "young" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If someone is kind and big then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is round and young then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and kind and big then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is young and cold then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and round then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and kind then they are big.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is young and rough then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
Gary is kind.
True
1
proof
[(triple5)]
("Gary" "is" "kind" "+")
triple5
Gary is not blue.
False
1
inv-proof
[(triple6)]
("Gary" "is" "blue" "-")
triple6
Fred is nice.
True
3
proof
[(((triple1 triple2) -> rule7) OR ((triple2 ((triple3 ((triple1 triple3) -> rule6)) -> rule1)) -> rule5))]
("Fred" "is" "nice" "+")
((triple1 triple2) -> (rule7 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
((triple2 ((triple3 ((triple1 triple3) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is not nice.
False
3
inv-proof
[(((triple1 triple2) -> rule7) OR ((triple2 ((triple3 ((triple1 triple3) -> rule6)) -> rule1)) -> rule5))]
("Fred" "is" "nice" "-")
((triple1 triple2) -> (rule7 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
((triple2 ((triple3 ((triple1 triple3) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is round.
True
5
proof
[(((triple3 ((triple1 triple3) -> rule6)) -> rule1))]
("Fred" "is" "round" "+")
((triple3 ((triple1 triple3) -> (rule6 % int2))) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is not round.
False
5
inv-proof
[(((triple3 ((triple1 triple3) -> rule6)) -> rule1))]
("Fred" "is" "round" "-")
((triple3 ((triple1 triple3) -> (rule6 % int2))) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is cold.
True
7
proof
[(((((triple3 ((triple1 triple3) -> rule6)) -> rule1) triple1) -> rule2))]
("Fred" "is" "cold" "+")
((((triple3 ((triple1 triple3) -> (rule6 % int3))) -> (rule1 % int2)) triple1) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is not cold.
False
7
inv-proof
[(((((triple3 ((triple1 triple3) -> rule6)) -> rule1) triple1) -> rule2))]
("Fred" "is" "cold" "-")
((((triple3 ((triple1 triple3) -> (rule6 % int3))) -> (rule1 % int2)) triple1) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "cold" "-")
Gary is nice.
Unknown
rconc
[@3: Gary is nice.[CWA. Example of deepest failure = (rule5 <- rule1 <- rule6 <- FAIL)]]
("Gary" "is" "nice" "+")
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "big" "-")
Bob is nice.
Unknown
rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "nice" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Fred is green.
Unknown
random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "+")
@0: Fred is kind.[(triple3)] Fred is rough.[(triple2)] Fred is young.[(triple1)] Gary is blue.[(triple6)] Gary is kind.[(triple5)] Gary is rough.[(triple4)] Harry is rough.[(triple7)] @1: Fred is big.[(((triple1 triple3) -> rule6))] Fred is nice.[(((triple1 triple2) -> rule7) OR ((triple2 ((triple3 ((triple1 triple3) -> rule6)) -> rule1)) -> rule5))] @2: Fred is round.[(((triple3 ((triple1 triple3) -> rule6)) -> rule1))] @3: Fred is cold.[(((((triple3 ((triple1 triple3) -> rule6)) -> rule1) triple1) -> rule2))]
Fred is kind.
("Fred" "is" "kind" "+")
triple3
Fred is rough.
("Fred" "is" "rough" "+")
triple2
Fred is young.
("Fred" "is" "young" "+")
triple1
Gary is blue.
("Gary" "is" "blue" "+")
triple6
Gary is kind.
("Gary" "is" "kind" "+")
triple5
Gary is rough.
("Gary" "is" "rough" "+")
triple4
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Fred is big.
("Fred" "is" "big" "+")
((triple1 triple3) -> (rule6 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
((triple1 triple2) -> (rule7 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
((triple2 ((triple3 ((triple1 triple3) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is round.
("Fred" "is" "round" "+")
((triple3 ((triple1 triple3) -> (rule6 % int2))) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
((((triple3 ((triple1 triple3) -> (rule6 % int3))) -> (rule1 % int2)) triple1) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is young and kind; But he plays really rough with his friends.
Gary is a rough but very kind and blue person.
They always call him rough Harry.
People who are big and kind are also round.
A round shaped and young aged person will be very cold.
A big, blue person who is kind is also round.
When someone is young, they can be cold but kind.
Rough, round persons are also nice persons.
If a person is young and very kind then they will be rather big.
Whenever you see Pete you run into a young man rough, which means he will be nice.