Alan, who is young, nice, green, and blue, is also rather big shaped. In the snow sits Bob, crying from being cold. Charlie is known to be rough and green. Dave is round shaped and green colored. Someone who looks rough and feels cold is also kind to others. It's a fact that young people are red people. A young round person who is green is also red. People who are young, while being red and cold, are big people. A person who is green and rough and round is also young. Color anybody red and blue, then make them rough, and they will surely be round. Nice people who are looking green and seeing red usually feel rather rough.
Alan is young.
("Alan" "is" "young" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is green.
("Dave" "is" "green" "+")
If someone is rough and cold then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is young then they are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
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 young and red and cold then they are big.
((("someone" "is" "young" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is round and rough and green then they are young.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and rough and red then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and green and red then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
Alan is big.
True
1
proof
[(triple5)]
("Alan" "is" "big" "+")
triple5
Bob is not cold.
False
1
inv-proof
[(triple6)]
("Bob" "is" "cold" "-")
triple6
Alan is red.
True
2
proof
[(((triple1) -> rule2))]
("Alan" "is" "red" "+")
((triple1) -> (rule2 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is not red.
False
2
inv-proof
[(((triple1) -> rule2))]
("Alan" "is" "red" "-")
((triple1) -> (rule2 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is rough.
True
5
proof
[(((triple2 triple3 ((triple1) -> rule2)) -> rule7))]
("Alan" "is" "rough" "+")
((triple2 triple3 ((triple1) -> (rule2 % int2))) -> (rule7 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is not rough.
False
5
inv-proof
[(((triple2 triple3 ((triple1) -> rule2)) -> rule7))]
("Alan" "is" "rough" "-")
((triple2 triple3 ((triple1) -> (rule2 % int2))) -> (rule7 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is round.
True
9
proof
[(((triple4 ((triple2 triple3 ((triple1) -> rule2)) -> rule7) ((triple1) -> rule2)) -> rule6))]
("Alan" "is" "round" "+")
((triple4 ((triple2 triple3 ((triple1) -> (rule2 % int3))) -> (rule7 % int2)) ((triple1) -> (rule2 % int3))) -> (rule6 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan is not round.
False
9
inv-proof
[(((triple4 ((triple2 triple3 ((triple1) -> rule2)) -> rule7) ((triple1) -> rule2)) -> rule6))]
("Alan" "is" "round" "-")
((triple4 ((triple2 triple3 ((triple1) -> (rule2 % int3))) -> (rule7 % int2)) ((triple1) -> (rule2 % int3))) -> (rule6 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "big" "-")
Bob is big.
Unknown
rconc
[@2: Bob is big.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Bob" "is" "big" "+")
Bob is not red.
Unknown
inv-rconc
[@2: Bob is red.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Bob" "is" "red" "-")
Charlie is red.
Unknown
rconc
[@3: Charlie is red.[CWA. Example of deepest failure = (rule2 <- rule5 <- rule6 <- FAIL)]]
("Charlie" "is" "red" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
Alan is not cold.
Unknown
inv-random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Alan is big.[(triple5)] Alan is blue.[(triple4)] Alan is green.[(triple3)] Alan is nice.[(triple2)] Alan is young.[(triple1)] Bob is cold.[(triple6)] Charlie is green.[(triple8)] Charlie is rough.[(triple7)] Dave is green.[(triple10)] Dave is round.[(triple9)] @1: Alan is red.[(((triple1) -> rule2))] @2: Alan is rough.[(((triple2 triple3 ((triple1) -> rule2)) -> rule7))] @3: Alan is round.[(((triple4 ((triple2 triple3 ((triple1) -> rule2)) -> rule7) ((triple1) -> rule2)) -> rule6))]
Alan is big.
("Alan" "is" "big" "+")
triple5
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple6
Charlie is green.
("Charlie" "is" "green" "+")
triple8
Charlie is rough.
("Charlie" "is" "rough" "+")
triple7
Dave is green.
("Dave" "is" "green" "+")
triple10
Dave is round.
("Dave" "is" "round" "+")
triple9
Alan is red.
("Alan" "is" "red" "+")
((triple1) -> (rule2 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
((triple2 triple3 ((triple1) -> (rule2 % int2))) -> (rule7 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
((triple4 ((triple2 triple3 ((triple1) -> (rule2 % int3))) -> (rule7 % int2)) ((triple1) -> (rule2 % int3))) -> (rule6 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan, who is young, nice, green, and blue, is also rather big shaped.
In the snow sits Bob, crying from being cold.
Charlie is known to be rough and green.
Dave is round shaped and green colored.
Someone who looks rough and feels cold is also kind to others.
It's a fact that young people are red people.
A young round person who is green is also red.
People who are young, while being red and cold, are big people.
A person who is green and rough and round is also young.
Color anybody red and blue, then make them rough, and they will surely be round.
Nice people who are looking green and seeing red usually feel rather rough.