Bob is feeling rough, red, nice, green and also blue. Charlie is big and tends to wear red shirts. As much as Fred is nice, he is also cold and often feels blue. A young round person who is green is also red. Someone who is colored both in red and green, while being kind to others, is a round person. People that feel green are cold to people that try to help them. A big and blue colored person is also certainly very kind. When someone is kind and their cheeks flame red with embarrassment I know that they are young. A cold temperatured and rough person who is also green will be big shaped.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is young and round and green then they are red.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is red and green and kind then they are round.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is green then they are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and big then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and red then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and rough and green then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
Fred is blue.
True
1
proof
[(triple10)]
("Fred" "is" "blue" "+")
triple10
Bob is not blue.
False
1
inv-proof
[(triple5)]
("Bob" "is" "blue" "-")
triple5
Bob is cold.
True
2
proof
[(((triple4) -> rule3))]
("Bob" "is" "cold" "+")
((triple4) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is not cold.
False
2
inv-proof
[(((triple4) -> rule3))]
("Bob" "is" "cold" "-")
((triple4) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is big.
True
5
proof
[(((((triple4) -> rule3) triple1 triple4) -> rule6))]
("Bob" "is" "big" "+")
((((triple4) -> (rule3 % int2)) triple1 triple4) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is not big.
False
5
inv-proof
[(((((triple4) -> rule3) triple1 triple4) -> rule6))]
("Bob" "is" "big" "-")
((((triple4) -> (rule3 % int2)) triple1 triple4) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
True
7
proof
[(((triple5 ((((triple4) -> rule3) triple1 triple4) -> rule6)) -> rule4))]
("Bob" "is" "kind" "+")
((triple5 ((((triple4) -> (rule3 % int3)) triple1 triple4) -> (rule6 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is not kind.
False
7
inv-proof
[(((triple5 ((((triple4) -> rule3) triple1 triple4) -> rule6)) -> rule4))]
("Bob" "is" "kind" "-")
((triple5 ((((triple4) -> (rule3 % int3)) triple1 triple4) -> (rule6 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
True
9
proof
[(((((triple5 ((((triple4) -> rule3) triple1 triple4) -> rule6)) -> rule4) triple2) -> rule5))]
("Bob" "is" "young" "+")
((((triple5 ((((triple4) -> (rule3 % int4)) triple1 triple4) -> (rule6 % int3))) -> (rule4 % int2)) triple2) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is not young.
False
9
inv-proof
[(((((triple5 ((((triple4) -> rule3) triple1 triple4) -> rule6)) -> rule4) triple2) -> rule5))]
("Bob" "is" "young" "-")
((((triple5 ((((triple4) -> (rule3 % int4)) triple1 triple4) -> (rule6 % int3))) -> (rule4 % int2)) triple2) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "round" "-")
Dave is kind.
Unknown
rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "kind" "+")
Charlie is not kind.
Unknown
inv-rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "kind" "-")
Charlie is young.
Unknown
rconc
[@2: Charlie is young.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Charlie" "is" "young" "+")
Fred is not young.
Unknown
inv-rconc
[@2: Fred is young.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Fred" "is" "young" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Fred is rough.
Unknown
random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
@0: Bob is blue.[(triple5)] Bob is green.[(triple4)] Bob is nice.[(triple3)] Bob is red.[(triple2)] Bob is rough.[(triple1)] Charlie is big.[(triple7)] Charlie is red.[(triple6)] Fred is blue.[(triple10)] Fred is cold.[(triple9)] Fred is nice.[(triple8)] @1: Bob is cold.[(((triple4) -> rule3))] @2: Bob is big.[(((((triple4) -> rule3) triple1 triple4) -> rule6))] @3: Bob is kind.[(((triple5 ((((triple4) -> rule3) triple1 triple4) -> rule6)) -> rule4))] @4: Bob is round.[(((triple2 triple4 ((triple5 ((((triple4) -> rule3) triple1 triple4) -> rule6)) -> rule4)) -> rule2))] Bob is young.[(((((triple5 ((((triple4) -> rule3) triple1 triple4) -> rule6)) -> rule4) triple2) -> rule5))]
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is green.
("Bob" "is" "green" "+")
triple4
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple7
Charlie is red.
("Charlie" "is" "red" "+")
triple6
Fred is blue.
("Fred" "is" "blue" "+")
triple10
Fred is cold.
("Fred" "is" "cold" "+")
triple9
Fred is nice.
("Fred" "is" "nice" "+")
triple8
Bob is cold.
("Bob" "is" "cold" "+")
((triple4) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
((((triple4) -> (rule3 % int2)) triple1 triple4) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
((triple5 ((((triple4) -> (rule3 % int3)) triple1 triple4) -> (rule6 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
((triple2 triple4 ((triple5 ((((triple4) -> (rule3 % int4)) triple1 triple4) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
((((triple5 ((((triple4) -> (rule3 % int4)) triple1 triple4) -> (rule6 % int3))) -> (rule4 % int2)) triple2) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is feeling rough, red, nice, green and also blue.
Charlie is big and tends to wear red shirts.
As much as Fred is nice, he is also cold and often feels blue.
A young round person who is green is also red.
Someone who is colored both in red and green, while being kind to others, is a round person.
People that feel green are cold to people that try to help them.
A big and blue colored person is also certainly very kind.
When someone is kind and their cheeks flame red with embarrassment I know that they are young.
A cold temperatured and rough person who is also green will be big shaped.