Red Alan is what folks call him, because he is quite red. Blue and green Bob is so kind he snowplows the neighbors driveways and everyone thanks him with beer. Gary, a kind and nice man, is wearing a green sweatshirt. He is also a fairly round sized man in shape. A red colored and round person who is also young will be rather kind. Blue Christmas ornaments are also red. A person who is nice and green with envy is round. People who are nice and big and red are green. A round person will also be red. A green and red colored person who has a nice temperament will be cold. Whenever someone is kind as well as round and cold, they will definitely be blue.
Alan is red.
("Alan" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
If someone is red and round and young then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue then they are red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and green then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and big and red then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is round then they are red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is green and nice and red then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and round and cold then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
Alan is red.
True
1
proof
[(triple1)]
("Alan" "is" "red" "+")
triple1
Bob is not kind.
False
1
inv-proof
[(triple2)]
("Bob" "is" "kind" "-")
triple2
Gary is red.
True
2
proof
[(((triple5) -> rule5) OR ((((triple6 triple8) -> rule3)) -> rule5))]
("Gary" "is" "red" "+")
((triple5) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((((triple6 triple8) -> (rule3 % int2))) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Bob is not red.
False
2
inv-proof
[(((triple4) -> rule2))]
("Bob" "is" "red" "-")
((triple4) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Gary is cold.
True
5
proof
[(((triple8 triple6 ((triple5) -> rule5)) -> rule6) OR ((triple8 triple6 ((((triple6 triple8) -> rule3)) -> rule5)) -> rule6))]
("Gary" "is" "cold" "+")
((triple8 triple6 ((triple5) -> (rule5 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((triple8 triple6 ((((triple6 triple8) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is not cold.
False
5
inv-proof
[(((triple8 triple6 ((triple5) -> rule5)) -> rule6) OR ((triple8 triple6 ((((triple6 triple8) -> rule3)) -> rule5)) -> rule6))]
("Gary" "is" "cold" "-")
((triple8 triple6 ((triple5) -> (rule5 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((triple8 triple6 ((((triple6 triple8) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is blue.
True
8
proof
[(((triple7 triple5 ((triple8 triple6 ((triple5) -> rule5)) -> rule6)) -> rule7) OR ((triple7 ((triple6 triple8) -> rule3) ((triple8 triple6 ((triple5) -> rule5)) -> rule6)) -> rule7) OR ((triple7 triple5 ((triple8 triple6 ((((triple6 triple8) -> rule3)) -> rule5)) -> rule6)) -> rule7) OR ((triple7 ((triple6 triple8) -> rule3) ((triple8 triple6 ((((triple6 triple8) -> rule3)) -> rule5)) -> rule6)) -> rule7))]
("Gary" "is" "blue" "+")
((triple7 triple5 ((triple8 triple6 ((triple5) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((triple7 ((triple6 triple8) -> (rule3 % int4)) ((triple8 triple6 ((triple5) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((triple7 triple5 ((triple8 triple6 ((((triple6 triple8) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((triple7 ((triple6 triple8) -> (rule3 % int4)) ((triple8 triple6 ((((triple6 triple8) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is not blue.
False
8
inv-proof
[(((triple7 triple5 ((triple8 triple6 ((triple5) -> rule5)) -> rule6)) -> rule7) OR ((triple7 ((triple6 triple8) -> rule3) ((triple8 triple6 ((triple5) -> rule5)) -> rule6)) -> rule7) OR ((triple7 triple5 ((triple8 triple6 ((((triple6 triple8) -> rule3)) -> rule5)) -> rule6)) -> rule7) OR ((triple7 ((triple6 triple8) -> rule3) ((triple8 triple6 ((((triple6 triple8) -> rule3)) -> rule5)) -> rule6)) -> rule7))]
("Gary" "is" "blue" "-")
((triple7 triple5 ((triple8 triple6 ((triple5) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((triple7 ((triple6 triple8) -> (rule3 % int4)) ((triple8 triple6 ((triple5) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((triple7 triple5 ((triple8 triple6 ((((triple6 triple8) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((triple7 ((triple6 triple8) -> (rule3 % int4)) ((triple8 triple6 ((((triple6 triple8) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "round" "-")
Eric is round.
Unknown
rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "round" "+")
Alan is not green.
Unknown
inv-rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "green" "-")
Eric is green.
Unknown
rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "green" "+")
Alan is not rough.
Unknown
inv-random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
Eric is not rough.
Unknown
inv-random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "-")
Eric is nice.
Unknown
random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "+")
@0: Alan is red.[(triple1)] Bob is blue.[(triple4)] Bob is green.[(triple3)] Bob is kind.[(triple2)] Gary is green.[(triple8)] Gary is kind.[(triple7)] Gary is nice.[(triple6)] Gary is round.[(triple5 OR ((triple6 triple8) -> rule3))] @1: Bob is red.[(((triple4) -> rule2))] Gary is red.[(((triple5) -> rule5) OR ((((triple6 triple8) -> rule3)) -> rule5))] @2: Gary is cold.[(((triple8 triple6 ((triple5) -> rule5)) -> rule6) OR ((triple8 triple6 ((((triple6 triple8) -> rule3)) -> rule5)) -> rule6))] @3: Gary is blue.[(((triple7 triple5 ((triple8 triple6 ((triple5) -> rule5)) -> rule6)) -> rule7) OR ((triple7 ((triple6 triple8) -> rule3) ((triple8 triple6 ((triple5) -> rule5)) -> rule6)) -> rule7) OR ((triple7 triple5 ((triple8 triple6 ((((triple6 triple8) -> rule3)) -> rule5)) -> rule6)) -> rule7) OR ((triple7 ((triple6 triple8) -> rule3) ((triple8 triple6 ((((triple6 triple8) -> rule3)) -> rule5)) -> rule6)) -> rule7))]
Alan is red.
("Alan" "is" "red" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Gary is round.
("Gary" "is" "round" "+")
triple5
((triple6 triple8) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
((triple4) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple5) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((((triple6 triple8) -> (rule3 % int2))) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
((triple8 triple6 ((triple5) -> (rule5 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((triple8 triple6 ((((triple6 triple8) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
((triple7 triple5 ((triple8 triple6 ((triple5) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((triple7 ((triple6 triple8) -> (rule3 % int4)) ((triple8 triple6 ((triple5) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((triple7 triple5 ((triple8 triple6 ((((triple6 triple8) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((triple7 ((triple6 triple8) -> (rule3 % int4)) ((triple8 triple6 ((((triple6 triple8) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Red Alan is what folks call him, because he is quite red.
Blue and green Bob is so kind he snowplows the neighbors driveways and everyone thanks him with beer.
Gary, a kind and nice man, is wearing a green sweatshirt; He is also a fairly round sized man in shape.
A red colored and round person who is also young will be rather kind.
Blue Christmas ornaments are also red.
A person who is nice and green with envy is round.
People who are nice and big and red are green.
A round person will also be red.
A green and red colored person who has a nice temperament will be cold.
Whenever someone is kind as well as round and cold, they will definitely be blue.