Alan is cold and rough with strangers, but nice with his family, even when he is green with envy at their accomplishments. Bob is big and tends to wear red shirts. That Fred is a round, rough fellow, and he's nice, as well as big. That man standing next to you with a big round body goes by the name of Gary. If someone is blue and rough, they always see red in others. Rough people are often always nice. A quite nice person who is red and green is also big. If a red and blue person is also kind to people that means they are rough as well. A person with a rough quality is also a person with a blue quality. Show me someone who is cold and kind, and I'll show you how green they are.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is big.
("Bob" "is" "big" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is blue and rough then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is rough then they are nice.
((("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and green and nice then they are big.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is red and blue and kind then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough then they are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and kind then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
Fred is nice.
True
1
proof
[(triple9 OR ((triple8) -> rule2))]
("Fred" "is" "nice" "+")
triple9
((triple8) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Gary is not big.
False
1
inv-proof
[(triple12)]
("Gary" "is" "big" "-")
triple12
Alan is blue.
True
2
proof
[(((triple1) -> rule5))]
("Alan" "is" "blue" "+")
((triple1) -> (rule5 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is not blue.
False
2
inv-proof
[(((triple1) -> rule5))]
("Alan" "is" "blue" "-")
((triple1) -> (rule5 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Fred is red.
True
4
proof
[(((((triple8) -> rule5) triple8) -> rule1))]
("Fred" "is" "red" "+")
((((triple8) -> (rule5 % int2)) triple8) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is not red.
False
4
inv-proof
[(((((triple8) -> rule5) triple8) -> rule1))]
("Fred" "is" "red" "-")
((((triple8) -> (rule5 % int2)) triple8) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Alan is big.
True
7
proof
[(((((((triple1) -> rule5) triple1) -> rule1) triple3 triple2) -> rule3) OR ((((((triple1) -> rule5) triple1) -> rule1) triple3 ((triple1) -> rule2)) -> rule3))]
("Alan" "is" "big" "+")
((((((triple1) -> (rule5 % int3)) triple1) -> (rule1 % int2)) triple3 triple2) -> (rule3 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
((((((triple1) -> (rule5 % int4)) triple1) -> (rule1 % int3)) triple3 ((triple1) -> (rule2 % int2))) -> (rule3 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
Alan is not big.
False
7
inv-proof
[(((((((triple1) -> rule5) triple1) -> rule1) triple3 triple2) -> rule3) OR ((((((triple1) -> rule5) triple1) -> rule1) triple3 ((triple1) -> rule2)) -> rule3))]
("Alan" "is" "big" "-")
((((((triple1) -> (rule5 % int3)) triple1) -> (rule1 % int2)) triple3 triple2) -> (rule3 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
((((((triple1) -> (rule5 % int4)) triple1) -> (rule1 % int3)) triple3 ((triple1) -> (rule2 % int2))) -> (rule3 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
Bob is not blue.
Unknown
inv-rconc
[@2: Bob is blue.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Bob" "is" "blue" "-")
Gary is green.
Unknown
rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "green" "+")
Fred is not green.
Unknown
inv-rconc
[@1: Fred is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "green" "-")
Bob is nice.
Unknown
rconc
[@2: Bob is nice.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Bob" "is" "nice" "+")
Alan is not young.
Unknown
inv-random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
Alan is not round.
Unknown
inv-random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "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 green.[(triple3)] Alan is nice.[(triple2 OR ((triple1) -> rule2))] Alan is rough.[(triple1)] Bob is big.[(triple6)] Bob is red.[(triple5)] Fred is big.[(triple10)] Fred is nice.[(triple9 OR ((triple8) -> rule2))] Fred is rough.[(triple8)] Fred is round.[(triple7)] Gary is big.[(triple12)] Gary is round.[(triple11)] @1: Alan is blue.[(((triple1) -> rule5))] Fred is blue.[(((triple8) -> rule5))] @2: Alan is red.[(((((triple1) -> rule5) triple1) -> rule1))] Fred is red.[(((((triple8) -> rule5) triple8) -> rule1))] @3: Alan is big.[(((((((triple1) -> rule5) triple1) -> rule1) triple3 triple2) -> rule3) OR ((((((triple1) -> rule5) triple1) -> rule1) triple3 ((triple1) -> rule2)) -> rule3))]
Alan is cold.
("Alan" "is" "cold" "+")
triple4
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
((triple1) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple6
Bob is red.
("Bob" "is" "red" "+")
triple5
Fred is big.
("Fred" "is" "big" "+")
triple10
Fred is nice.
("Fred" "is" "nice" "+")
triple9
((triple8) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
triple8
Fred is round.
("Fred" "is" "round" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple12
Gary is round.
("Gary" "is" "round" "+")
triple11
Alan is blue.
("Alan" "is" "blue" "+")
((triple1) -> (rule5 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
((triple8) -> (rule5 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
((((triple1) -> (rule5 % int2)) triple1) -> (rule1 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
((((triple8) -> (rule5 % int2)) triple8) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
((((((triple1) -> (rule5 % int3)) triple1) -> (rule1 % int2)) triple3 triple2) -> (rule3 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
((((((triple1) -> (rule5 % int4)) triple1) -> (rule1 % int3)) triple3 ((triple1) -> (rule2 % int2))) -> (rule3 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
Alan is cold and rough with strangers, but nice with his family, even when he is green with envy at their accomplishments.
Bob is big and tends to wear red shirts.
That Fred is a round, rough fellow, and he's nice, as well as big.
That man standing next to you with a big round body goes by the name of Gary.
If someone is blue and rough, they always see red in others.
Rough people are often always nice.
A quite nice person who is red and green is also big.
If a red and blue person is also kind to people that means they are rough as well.
A person with a rough quality is also a person with a blue quality.
Show me someone who is cold and kind, and I'll show you how green they are.