Bob is big and round man that is looking rather green after seeing some bad mayonnaise. Fred is big and red, but he's young and will grow out of it. Harry always goes out of his way to show that he is kind to people. A rough and kind person is big. Someone big and rough in shape is always kind. If a person is quite big and also round then they are certainly rough too. A person who is cold, rough and young is also nice. Big kind people are usually cold.
Bob is round.
("Bob" "is" "round" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is big.
("Bob" "is" "big" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is big.
("Fred" "is" "big" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is kind and rough then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is big and rough then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and round then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and young and rough then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and big then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
Fred is red.
True
1
proof
[(triple5)]
("Fred" "is" "red" "+")
triple5
Bob is not green.
False
1
inv-proof
[(triple2)]
("Bob" "is" "green" "-")
triple2
Bob is rough.
True
3
proof
[(((triple3 triple1) -> rule3))]
("Bob" "is" "rough" "+")
((triple3 triple1) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is not rough.
False
3
inv-proof
[(((triple3 triple1) -> rule3))]
("Bob" "is" "rough" "-")
((triple3 triple1) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
True
5
proof
[(((triple3 ((triple3 triple1) -> rule3)) -> rule2))]
("Bob" "is" "kind" "+")
((triple3 ((triple3 triple1) -> (rule3 % int2))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is not kind.
False
5
inv-proof
[(((triple3 ((triple3 triple1) -> rule3)) -> rule2))]
("Bob" "is" "kind" "-")
((triple3 ((triple3 triple1) -> (rule3 % int2))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
True
7
proof
[(((((triple3 ((triple3 triple1) -> rule3)) -> rule2) triple3) -> rule5))]
("Bob" "is" "cold" "+")
((((triple3 ((triple3 triple1) -> (rule3 % int3))) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is not cold.
False
7
inv-proof
[(((((triple3 ((triple3 triple1) -> rule3)) -> rule2) triple3) -> rule5))]
("Bob" "is" "cold" "-")
((((triple3 ((triple3 triple1) -> (rule3 % int3))) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Fred is not cold.
Unknown
inv-rconc
[@3: Fred is cold.[CWA. Example of deepest failure = (rule5 <- rule2 <- rule3 <- FAIL)]]
("Fred" "is" "cold" "-")
Bob is nice.
Unknown
rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "nice" "+")
Harry is not cold.
Unknown
inv-rconc
[@3: Harry is cold.[CWA. Example of deepest failure = (rule5 <- rule1 <- rule3 <- FAIL)]]
("Harry" "is" "cold" "-")
Dave is big.
Unknown
rconc
[@2: Dave is big.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Dave" "is" "big" "+")
Fred is not blue.
Unknown
inv-random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Bob is big.[(triple3)] Bob is green.[(triple2)] Bob is round.[(triple1)] Fred is big.[(triple6)] Fred is red.[(triple5)] Fred is young.[(triple4)] Harry is kind.[(triple7)] @1: Bob is rough.[(((triple3 triple1) -> rule3))] @2: Bob is kind.[(((triple3 ((triple3 triple1) -> rule3)) -> rule2))] @3: Bob is cold.[(((((triple3 ((triple3 triple1) -> rule3)) -> rule2) triple3) -> rule5))]
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Fred is big.
("Fred" "is" "big" "+")
triple6
Fred is red.
("Fred" "is" "red" "+")
triple5
Fred is young.
("Fred" "is" "young" "+")
triple4
Harry is kind.
("Harry" "is" "kind" "+")
triple7
Bob is rough.
("Bob" "is" "rough" "+")
((triple3 triple1) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
((triple3 ((triple3 triple1) -> (rule3 % int2))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
((((triple3 ((triple3 triple1) -> (rule3 % int3))) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is big and round man that is looking rather green after seeing some bad mayonnaise.
Fred is big and red, but he's young and will grow out of it.
Harry always goes out of his way to show that he is kind to people.
A rough and kind person is big.
Someone big and rough in shape is always kind.
If a person is quite big and also round then they are certainly rough too.
A person who is cold, rough and young is also nice.
Big kind people are usually cold.