Alan is so young and darling he is kind to all the old people on the block. Bob is interestingly colored red and blue, and is also very kind. Even though Fred is rough, he nice but cold and blue. Harry wears all blue. A nice person with rough skin is red. Big and cold people tend to see red and dont live green lifestyle. A downhearted blue person who is kind is round. A young round person who is green is also red. Kind people who are also rough are young. Some kind person that is round a blue will get embarrassed and turn red. It's always true that round, kind people are rough as well.
Alan is young.
("Alan" "is" "young" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is rough and nice then they are red.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is red and big and cold then they are green.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and blue then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
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 rough and kind then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is round and blue and kind then they are red.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If someone is round and kind then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Alan is young.
True
1
proof
[(triple1)]
("Alan" "is" "young" "+")
triple1
Fred is not rough.
False
1
inv-proof
[(triple6)]
("Fred" "is" "rough" "-")
triple6
Bob is round.
True
3
proof
[(((triple4 triple5) -> rule3))]
("Bob" "is" "round" "+")
((triple4 triple5) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Fred is not red.
False
3
inv-proof
[(((triple6 triple7) -> rule1))]
("Fred" "is" "red" "-")
((triple6 triple7) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Bob is rough.
True
5
proof
[(((((triple4 triple5) -> rule3) triple4) -> rule7))]
("Bob" "is" "rough" "+")
((((triple4 triple5) -> (rule3 % int2)) triple4) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is not rough.
False
5
inv-proof
[(((((triple4 triple5) -> rule3) triple4) -> rule7))]
("Bob" "is" "rough" "-")
((((triple4 triple5) -> (rule3 % int2)) triple4) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
True
7
proof
[(((((((triple4 triple5) -> rule3) triple4) -> rule7) triple4) -> rule5))]
("Bob" "is" "young" "+")
((((((triple4 triple5) -> (rule3 % int3)) triple4) -> (rule7 % int2)) triple4) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is not young.
False
7
inv-proof
[(((((((triple4 triple5) -> rule3) triple4) -> rule7) triple4) -> rule5))]
("Bob" "is" "young" "-")
((((((triple4 triple5) -> (rule3 % int3)) triple4) -> (rule7 % int2)) triple4) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Alan is not round.
Unknown
inv-rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "round" "-")
Harry is rough.
Unknown
rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Harry" "is" "rough" "+")
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "green" "-")
Alan is red.
Unknown
rconc
[@2: Alan is red.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Alan" "is" "red" "+")
Fred is not big.
Unknown
inv-random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Alan is kind.[(triple2)] Alan is young.[(triple1)] Bob is blue.[(triple5)] Bob is kind.[(triple4)] Bob is red.[(triple3 OR ((((triple4 triple5) -> rule3) triple5 triple4) -> rule6))] Fred is blue.[(triple9)] Fred is cold.[(triple8)] Fred is nice.[(triple7)] Fred is rough.[(triple6)] Harry is blue.[(triple10)] @1: Bob is round.[(((triple4 triple5) -> rule3))] Fred is red.[(((triple6 triple7) -> rule1))] @2: Bob is rough.[(((((triple4 triple5) -> rule3) triple4) -> rule7))] @3: Bob is young.[(((((((triple4 triple5) -> rule3) triple4) -> rule7) triple4) -> rule5))]
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple3
((((triple4 triple5) -> (rule3 % int2)) triple5 triple4) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
triple9
Fred is cold.
("Fred" "is" "cold" "+")
triple8
Fred is nice.
("Fred" "is" "nice" "+")
triple7
Fred is rough.
("Fred" "is" "rough" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Bob is round.
("Bob" "is" "round" "+")
((triple4 triple5) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((triple6 triple7) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((((triple4 triple5) -> (rule3 % int2)) triple4) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
((((((triple4 triple5) -> (rule3 % int3)) triple4) -> (rule7 % int2)) triple4) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Alan is so young and darling he is kind to all the old people on the block.
Bob is interestingly colored red and blue, and is also very kind.
Even though Fred is rough, he nice but cold and blue.
Harry wears all blue.
A nice person with rough skin is red.
Big and cold people tend to see red and dont live green lifestyle.
A downhearted blue person who is kind is round.
A young round person who is green is also red.
Kind people who are also rough are young.
Some kind person that is round a blue will get embarrassed and turn red.
It's always true that round, kind people are rough as well.