Alan, who is a young, rough person, is also a kind and cold guy. Bob is rough around the edges, but he's often blue and always nice. Although Charlie is seen as nice and round, his days of playing football have made him quite rough. That man standing next to you with a big round body goes by the name of Fred. Nice blue people are often rough. When someone is nice and rough they are usually red. Red people feel blue about it. When someone is nice, dressing in red, they can be blue because they are cold. If smeone has a blue and green color, then they are young and probably kind. When you meet someone with cold, rough skin and a round figure they will be nice.
Alan is young.
("Alan" "is" "young" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is nice and blue then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and rough then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is red then they are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and blue and red then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and green and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and cold and round then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
Fred is round.
True
1
proof
[(triple11)]
("Fred" "is" "round" "+")
triple11
Bob is not nice.
False
1
inv-proof
[(triple6)]
("Bob" "is" "nice" "-")
triple6
Charlie is red.
True
3
proof
[(((triple10 triple9) -> rule2))]
("Charlie" "is" "red" "+")
((triple10 triple9) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is not red.
False
3
inv-proof
[(((triple10 triple9) -> rule2))]
("Charlie" "is" "red" "-")
((triple10 triple9) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
True
4
proof
[(((((triple10 triple9) -> rule2)) -> rule3))]
("Charlie" "is" "blue" "+")
((((triple10 triple9) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Bob is not cold.
False
6
inv-proof
[(((triple6 triple7 ((triple6 triple5) -> rule2)) -> rule4) OR ((triple6 triple7 ((triple6 ((triple6 triple7) -> rule1)) -> rule2)) -> rule4) OR ((triple6 ((((triple6 triple5) -> rule2)) -> rule3) ((triple6 triple5) -> rule2)) -> rule4) OR ((triple6 ((((triple6 triple5) -> rule2)) -> rule3) ((triple6 ((triple6 triple7) -> rule1)) -> rule2)) -> rule4))]
("Bob" "is" "cold" "-")
((triple6 triple7 ((triple6 triple5) -> (rule2 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((triple6 triple7 ((triple6 ((triple6 triple7) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((triple6 ((((triple6 triple5) -> (rule2 % int3))) -> (rule3 % int2)) ((triple6 triple5) -> (rule2 % int3))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((triple6 ((((triple6 triple5) -> (rule2 % int4))) -> (rule3 % int3)) ((triple6 ((triple6 triple7) -> (rule1 % int2))) -> (rule2 % int4))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Charlie is cold.
True
9
proof
[(((triple10 ((((triple10 triple9) -> rule2)) -> rule3) ((triple10 triple9) -> rule2)) -> rule4))]
("Charlie" "is" "cold" "+")
((triple10 ((((triple10 triple9) -> (rule2 % int3))) -> (rule3 % int2)) ((triple10 triple9) -> (rule2 % int3))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is not cold.
False
9
inv-proof
[(((triple10 ((((triple10 triple9) -> rule2)) -> rule3) ((triple10 triple9) -> rule2)) -> rule4))]
("Charlie" "is" "cold" "-")
((triple10 ((((triple10 triple9) -> (rule2 % int3))) -> (rule3 % int2)) ((triple10 triple9) -> (rule2 % int3))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Fred is not red.
Unknown
inv-rconc
[@3: Fred is red.[CWA. Example of deepest failure = (rule2 <- rule6 <- rule1 <- FAIL)]]
("Fred" "is" "red" "-")
Alan is nice.
Unknown
rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "nice" "+")
Fred is not nice.
Unknown
inv-rconc
[@2: Fred is nice.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("Fred" "is" "nice" "-")
Alan is red.
Unknown
rconc
[@2: Alan is red.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("Alan" "is" "red" "+")
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Fred is green.
Unknown
random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Alan is cold.[(triple4)] Alan is kind.[(triple3)] Alan is rough.[(triple2)] Alan is young.[(triple1)] Bob is blue.[(triple7 OR ((((triple6 triple5) -> rule2)) -> rule3))] Bob is nice.[(triple6)] Bob is rough.[(triple5 OR ((triple6 triple7) -> rule1))] Charlie is nice.[(triple10)] Charlie is rough.[(triple9)] Charlie is round.[(triple8)] Fred is big.[(triple12)] Fred is round.[(triple11)] @1: Bob is red.[(((triple6 triple5) -> rule2) OR ((triple6 ((triple6 triple7) -> rule1)) -> rule2))] Charlie is red.[(((triple10 triple9) -> rule2))] @2: Bob is cold.[(((triple6 triple7 ((triple6 triple5) -> rule2)) -> rule4) OR ((triple6 triple7 ((triple6 ((triple6 triple7) -> rule1)) -> rule2)) -> rule4) OR ((triple6 ((((triple6 triple5) -> rule2)) -> rule3) ((triple6 triple5) -> rule2)) -> rule4) OR ((triple6 ((((triple6 triple5) -> rule2)) -> rule3) ((triple6 ((triple6 triple7) -> rule1)) -> rule2)) -> rule4))] Charlie is blue.[(((((triple10 triple9) -> rule2)) -> rule3))] @3: Charlie is cold.[(((triple10 ((((triple10 triple9) -> rule2)) -> rule3) ((triple10 triple9) -> rule2)) -> rule4))]
Alan is cold.
("Alan" "is" "cold" "+")
triple4
Alan is kind.
("Alan" "is" "kind" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple7
((((triple6 triple5) -> (rule2 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
triple6
Bob is rough.
("Bob" "is" "rough" "+")
triple5
((triple6 triple7) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple10
Charlie is rough.
("Charlie" "is" "rough" "+")
triple9
Charlie is round.
("Charlie" "is" "round" "+")
triple8
Fred is big.
("Fred" "is" "big" "+")
triple12
Fred is round.
("Fred" "is" "round" "+")
triple11
Bob is red.
("Bob" "is" "red" "+")
((triple6 triple5) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((triple6 ((triple6 triple7) -> (rule1 % int2))) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
((triple10 triple9) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
((triple6 triple7 ((triple6 triple5) -> (rule2 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((triple6 triple7 ((triple6 ((triple6 triple7) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((triple6 ((((triple6 triple5) -> (rule2 % int3))) -> (rule3 % int2)) ((triple6 triple5) -> (rule2 % int3))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((triple6 ((((triple6 triple5) -> (rule2 % int4))) -> (rule3 % int3)) ((triple6 ((triple6 triple7) -> (rule1 % int2))) -> (rule2 % int4))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
((((triple10 triple9) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple10 ((((triple10 triple9) -> (rule2 % int3))) -> (rule3 % int2)) ((triple10 triple9) -> (rule2 % int3))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Alan, who is a young, rough person, is also a kind and cold guy.
Bob is rough around the edges, but he's often blue and always nice.
Although Charlie is seen as nice and round, his days of playing football have made him quite rough.
That man standing next to you with a big round body goes by the name of Fred.
Nice blue people are often rough.
When someone is nice and rough they are usually red.
Red people feel blue about it.
When someone is nice, dressing in red, they can be blue because they are cold.
If smeone has a blue and green color, then they are young and probably kind.
When you meet someone with cold, rough skin and a round figure they will be nice.