Alan is rough but very kind, he is also red in color and young in age. Red Bob is what folks call him, because he is quite red. Charlie was looking rather round and feeling rather cold, but people thought he is kind. Others enjoy Gary's company because he is so nice and kind. Whoever is rough and red must be kind. When a young person has a round shape and feels blue, they will be green as well. A cold and young aged person will be big for sure. If a human is both young and kind, they are also cold. Big people that have a rough demeanor usually feel blue. When you know someone who's red, rough and nice, you'll also see that they're cold. A cold temperatured and rough person who is also green will be big shaped.
Alan is young.
("Alan" "is" "young" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Bob is red.
("Bob" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If someone is rough and red then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and round and young then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is young and cold then they are big.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is young and kind then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and rough then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and red and rough then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and rough and green then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
Bob is red.
True
1
proof
[(triple5)]
("Bob" "is" "red" "+")
triple5
Alan is not rough.
False
1
inv-proof
[(triple2)]
("Alan" "is" "rough" "-")
triple2
Alan is cold.
True
3
proof
[(((triple1 triple4) -> rule4) OR ((triple1 ((triple2 triple3) -> rule1)) -> rule4))]
("Alan" "is" "cold" "+")
((triple1 triple4) -> (rule4 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
((triple1 ((triple2 triple3) -> (rule1 % int2))) -> (rule4 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is not cold.
False
3
inv-proof
[(((triple1 triple4) -> rule4) OR ((triple1 ((triple2 triple3) -> rule1)) -> rule4))]
("Alan" "is" "cold" "-")
((triple1 triple4) -> (rule4 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
((triple1 ((triple2 triple3) -> (rule1 % int2))) -> (rule4 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is big.
True
5
proof
[(((triple1 ((triple1 triple4) -> rule4)) -> rule3) OR ((triple1 ((triple1 ((triple2 triple3) -> rule1)) -> rule4)) -> rule3))]
("Alan" "is" "big" "+")
((triple1 ((triple1 triple4) -> (rule4 % int2))) -> (rule3 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
((triple1 ((triple1 ((triple2 triple3) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is not big.
False
5
inv-proof
[(((triple1 ((triple1 triple4) -> rule4)) -> rule3) OR ((triple1 ((triple1 ((triple2 triple3) -> rule1)) -> rule4)) -> rule3))]
("Alan" "is" "big" "-")
((triple1 ((triple1 triple4) -> (rule4 % int2))) -> (rule3 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
((triple1 ((triple1 ((triple2 triple3) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is blue.
True
7
proof
[(((((triple1 ((triple1 triple4) -> rule4)) -> rule3) triple2) -> rule5) OR ((((triple1 ((triple1 ((triple2 triple3) -> rule1)) -> rule4)) -> rule3) triple2) -> rule5))]
("Alan" "is" "blue" "+")
((((triple1 ((triple1 triple4) -> (rule4 % int3))) -> (rule3 % int2)) triple2) -> (rule5 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
((((triple1 ((triple1 ((triple2 triple3) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) triple2) -> (rule5 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
Alan is not blue.
False
7
inv-proof
[(((((triple1 ((triple1 triple4) -> rule4)) -> rule3) triple2) -> rule5) OR ((((triple1 ((triple1 ((triple2 triple3) -> rule1)) -> rule4)) -> rule3) triple2) -> rule5))]
("Alan" "is" "blue" "-")
((((triple1 ((triple1 triple4) -> (rule4 % int3))) -> (rule3 % int2)) triple2) -> (rule5 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
((((triple1 ((triple1 ((triple2 triple3) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) triple2) -> (rule5 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "big" "-")
Bob is green.
Unknown
rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "green" "+")
Bob is not blue.
Unknown
inv-rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "blue" "-")
Gary is green.
Unknown
rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "green" "+")
Alan is not round.
Unknown
inv-random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Alan is nice.
Unknown
random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "+")
@0: Alan is kind.[(triple4 OR ((triple2 triple3) -> rule1))] Alan is red.[(triple3)] Alan is rough.[(triple2)] Alan is young.[(triple1)] Bob is red.[(triple5)] Charlie is cold.[(triple8)] Charlie is kind.[(triple7)] Charlie is round.[(triple6)] Gary is kind.[(triple10)] Gary is nice.[(triple9)] @1: Alan is cold.[(((triple1 triple4) -> rule4) OR ((triple1 ((triple2 triple3) -> rule1)) -> rule4))] @2: Alan is big.[(((triple1 ((triple1 triple4) -> rule4)) -> rule3) OR ((triple1 ((triple1 ((triple2 triple3) -> rule1)) -> rule4)) -> rule3))] @3: Alan is blue.[(((((triple1 ((triple1 triple4) -> rule4)) -> rule3) triple2) -> rule5) OR ((((triple1 ((triple1 ((triple2 triple3) -> rule1)) -> rule4)) -> rule3) triple2) -> rule5))]
Alan is kind.
("Alan" "is" "kind" "+")
triple4
((triple2 triple3) -> (rule1 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple5
Charlie is cold.
("Charlie" "is" "cold" "+")
triple8
Charlie is kind.
("Charlie" "is" "kind" "+")
triple7
Charlie is round.
("Charlie" "is" "round" "+")
triple6
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Alan is cold.
("Alan" "is" "cold" "+")
((triple1 triple4) -> (rule4 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
((triple1 ((triple2 triple3) -> (rule1 % int2))) -> (rule4 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
((triple1 ((triple1 triple4) -> (rule4 % int2))) -> (rule3 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
((triple1 ((triple1 ((triple2 triple3) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
((((triple1 ((triple1 triple4) -> (rule4 % int3))) -> (rule3 % int2)) triple2) -> (rule5 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
((((triple1 ((triple1 ((triple2 triple3) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) triple2) -> (rule5 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
Alan is rough but very kind, he is also red in color and young in age.
Red Bob is what folks call him, because he is quite red.
Charlie was looking rather round and feeling rather cold, but people thought he is kind.
Others enjoy Gary's company because he is so nice and kind.
Whoever is rough and red must be kind.
When a young person has a round shape and feels blue, they will be green as well.
A cold and young aged person will be big for sure.
If a human is both young and kind, they are also cold.
Big people that have a rough demeanor usually feel blue.
When you know someone who's red, rough and nice, you'll also see that they're cold.
A cold temperatured and rough person who is also green will be big shaped.