Bob is rather young, but he is also kind, green, cold and big. That big young man is Dave he can act in a somewhat rough manner but that's just because he feels very green here. Eric is known to be rough and green. Gary always goes out of his way to show that he is kind to people. A cold, rough person is also round. Young round blue people are also big people. Rough, round persons are also nice persons. People who are kind and green are very often rough. Big, blue people are red. A cold human with round and rough aspects is always kind. If you meet somebody who is green, big and red you'll notice they are also blue.
Bob is young.
("Bob" "is" "young" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is green.
("Eric" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If someone is rough and cold then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is round and blue and young then they are big.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and round then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and green then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and big then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and round and rough then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and big and red then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
Eric is green.
True
1
proof
[(triple11)]
("Eric" "is" "green" "+")
triple11
Bob is not cold.
False
1
inv-proof
[(triple4)]
("Bob" "is" "cold" "-")
triple4
Bob is rough.
True
3
proof
[(((triple2 triple3) -> rule4))]
("Bob" "is" "rough" "+")
((triple2 triple3) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is not rough.
False
3
inv-proof
[(((triple2 triple3) -> rule4))]
("Bob" "is" "rough" "-")
((triple2 triple3) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
True
5
proof
[(((((triple2 triple3) -> rule4) triple4) -> rule1))]
("Bob" "is" "round" "+")
((((triple2 triple3) -> (rule4 % int2)) triple4) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is not round.
False
5
inv-proof
[(((((triple2 triple3) -> rule4) triple4) -> rule1))]
("Bob" "is" "round" "-")
((((triple2 triple3) -> (rule4 % int2)) triple4) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is nice.
True
9
proof
[(((((triple2 triple3) -> rule4) ((((triple2 triple3) -> rule4) triple4) -> rule1)) -> rule3))]
("Bob" "is" "nice" "+")
((((triple2 triple3) -> (rule4 % int3)) ((((triple2 triple3) -> (rule4 % int3)) triple4) -> (rule1 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is not nice.
False
9
inv-proof
[(((((triple2 triple3) -> rule4) ((((triple2 triple3) -> rule4) triple4) -> rule1)) -> rule3))]
("Bob" "is" "nice" "-")
((((triple2 triple3) -> (rule4 % int3)) ((((triple2 triple3) -> (rule4 % int3)) triple4) -> (rule1 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is not blue.
Unknown
inv-rconc
[@2: Bob is blue.[CWA. Example of deepest failure = (rule7 <- rule5 <- FAIL)]]
("Bob" "is" "blue" "-")
Dave is red.
Unknown
rconc
[@2: Dave is red.[CWA. Example of deepest failure = (rule5 <- rule7 <- FAIL)]]
("Dave" "is" "red" "+")
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "round" "-")
Eric is round.
Unknown
rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "round" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Eric is cold.
Unknown
random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Bob is big.[(triple5)] Bob is cold.[(triple4)] Bob is green.[(triple3)] Bob is kind.[(triple2)] Bob is young.[(triple1)] Dave is big.[(triple9)] Dave is green.[(triple8)] Dave is rough.[(triple7)] Dave is young.[(triple6)] Eric is green.[(triple11)] Eric is rough.[(triple10)] Gary is kind.[(triple12)] @1: Bob is rough.[(((triple2 triple3) -> rule4))] @2: Bob is round.[(((((triple2 triple3) -> rule4) triple4) -> rule1))] @3: Bob is nice.[(((((triple2 triple3) -> rule4) ((((triple2 triple3) -> rule4) triple4) -> rule1)) -> rule3))]
Bob is big.
("Bob" "is" "big" "+")
triple5
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple9
Dave is green.
("Dave" "is" "green" "+")
triple8
Dave is rough.
("Dave" "is" "rough" "+")
triple7
Dave is young.
("Dave" "is" "young" "+")
triple6
Eric is green.
("Eric" "is" "green" "+")
triple11
Eric is rough.
("Eric" "is" "rough" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple12
Bob is rough.
("Bob" "is" "rough" "+")
((triple2 triple3) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((((triple2 triple3) -> (rule4 % int2)) triple4) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((((triple2 triple3) -> (rule4 % int3)) ((((triple2 triple3) -> (rule4 % int3)) triple4) -> (rule1 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is rather young, but he is also kind, green, cold and big.
That big young man is Dave he can act in a somewhat rough manner but that's just because he feels very green here.
Eric is known to be rough and green.
Gary always goes out of his way to show that he is kind to people.
A cold, rough person is also round.
Young round blue people are also big people.
Rough, round persons are also nice persons.
People who are kind and green are very often rough.
Big, blue people are red.
A cold human with round and rough aspects is always kind.
If you meet somebody who is green, big and red you'll notice they are also blue.