Alan is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well. Bob always goes out of his way to show that he is kind to people. Fred wears all blue. Upon meeting Gary, you'll notice he's green and kind. Blue Christmas ornaments are also red. Anyone in the world who is nice, red, and young, is simultaneously rough. Every time I see a young blue nice person I know they are also red. When someone feels cold, while being big and rough, they always turn out to be red. Someone blue who is round with bloating and red from sunburn is surely cold from having fallen into the lake. A kind and nice person who is looking green is often red. A person that is the color red will definitely be round shaped.
Alan is round.
("Alan" "is" "round" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
If someone is blue then they are red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and red and young then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and young and blue then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and big and rough then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is round and blue and red then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and nice and green then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is red then they are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Gary is kind.
True
1
proof
[(triple6)]
("Gary" "is" "kind" "+")
triple6
Gary is not green.
False
1
inv-proof
[(triple7)]
("Gary" "is" "green" "-")
triple7
Alan is red.
True
2
proof
[(((triple3) -> rule1))]
("Alan" "is" "red" "+")
((triple3) -> (rule1 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is not red.
False
2
inv-proof
[(((triple3) -> rule1))]
("Alan" "is" "red" "-")
((triple3) -> (rule1 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is cold.
True
5
proof
[(((triple1 triple3 ((triple3) -> rule1)) -> rule5) OR ((((((triple3) -> rule1)) -> rule7) triple3 ((triple3) -> rule1)) -> rule5))]
("Alan" "is" "cold" "+")
((triple1 triple3 ((triple3) -> (rule1 % int2))) -> (rule5 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
((((((triple3) -> (rule1 % int3))) -> (rule7 % int2)) triple3 ((triple3) -> (rule1 % int3))) -> (rule5 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Fred is not round.
False
3
inv-proof
[(((((triple5) -> rule1)) -> rule7))]
("Fred" "is" "round" "-")
((((triple5) -> (rule1 % int2))) -> (rule7 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is cold.
True
7
proof
[(((((((triple5) -> rule1)) -> rule7) triple5 ((triple5) -> rule1)) -> rule5))]
("Fred" "is" "cold" "+")
((((((triple5) -> (rule1 % int3))) -> (rule7 % int2)) triple5 ((triple5) -> (rule1 % int3))) -> (rule5 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is not cold.
False
7
inv-proof
[(((((((triple5) -> rule1)) -> rule7) triple5 ((triple5) -> rule1)) -> rule5))]
("Fred" "is" "cold" "-")
((((((triple5) -> (rule1 % int3))) -> (rule7 % int2)) triple5 ((triple5) -> (rule1 % int3))) -> (rule5 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is not rough.
Unknown
inv-rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "rough" "-")
Gary is red.
Unknown
rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "red" "+")
Gary is not cold.
Unknown
inv-rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "cold" "-")
Gary is round.
Unknown
rconc
[@2: Gary is round.[CWA. Example of deepest failure = (rule7 <- rule1 <- FAIL)]]
("Gary" "is" "round" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
Fred is not nice.
Unknown
inv-random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "-")
Fred is big.
Unknown
random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "+")
@0: Alan is blue.[(triple3)] Alan is nice.[(triple2)] Alan is round.[(triple1 OR ((((triple3) -> rule1)) -> rule7))] Bob is kind.[(triple4)] Fred is blue.[(triple5)] Gary is green.[(triple7)] Gary is kind.[(triple6)] @1: Alan is red.[(((triple3) -> rule1))] Fred is red.[(((triple5) -> rule1))] @2: Alan is cold.[(((triple1 triple3 ((triple3) -> rule1)) -> rule5) OR ((((((triple3) -> rule1)) -> rule7) triple3 ((triple3) -> rule1)) -> rule5))] Fred is round.[(((((triple5) -> rule1)) -> rule7))] @3: Fred is cold.[(((((((triple5) -> rule1)) -> rule7) triple5 ((triple5) -> rule1)) -> rule5))]
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
((((triple3) -> (rule1 % int2))) -> (rule7 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Fred is blue.
("Fred" "is" "blue" "+")
triple5
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is kind.
("Gary" "is" "kind" "+")
triple6
Alan is red.
("Alan" "is" "red" "+")
((triple3) -> (rule1 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((triple5) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
((triple1 triple3 ((triple3) -> (rule1 % int2))) -> (rule5 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
((((((triple3) -> (rule1 % int3))) -> (rule7 % int2)) triple3 ((triple3) -> (rule1 % int3))) -> (rule5 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Fred is round.
("Fred" "is" "round" "+")
((((triple5) -> (rule1 % int2))) -> (rule7 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
((((((triple5) -> (rule1 % int3))) -> (rule7 % int2)) triple5 ((triple5) -> (rule1 % int3))) -> (rule5 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Alan is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well.
Bob always goes out of his way to show that he is kind to people.
Fred wears all blue.
Upon meeting Gary, you'll notice he's green and kind.
Blue Christmas ornaments are also red.
Anyone in the world who is nice, red, and young, is simultaneously rough.
Every time I see a young blue nice person I know they are also red.
When someone feels cold, while being big and rough, they always turn out to be red.
Someone blue who is round with bloating and red from sunburn is surely cold from having fallen into the lake.
A kind and nice person who is looking green is often red.
A person that is the color red will definitely be round shaped.