Even though Alan is big and round, he is cold much of the time. Bob had big, red, round cheeks. Rough Eric can be nice and kind looking green. If you see someone who is red and green they are round, like Santa Claus. If you meet a nice, young, red man, you will see that they are big too. Nice and blue people have to be big as well. When someone is young they can be nice and kind, but green in society. Cold and kind people tend to be blue. Blue, kind, and cold people are habitually rough. Nice people are cold people.
Alan is round.
("Alan" "is" "round" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is big.
("Bob" "is" "big" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
If someone is red and green then they are round.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is young and nice and red then they are big.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and blue then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and nice and young then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and kind then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and kind and cold then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice then they are cold.
((("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Alan is cold.
True
1
proof
[(triple2)]
("Alan" "is" "cold" "+")
triple2
Eric is not kind.
False
1
inv-proof
[(triple9)]
("Eric" "is" "kind" "-")
triple9
Eric is cold.
True
2
proof
[(((triple8) -> rule7))]
("Eric" "is" "cold" "+")
((triple8) -> (rule7 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is not cold.
False
2
inv-proof
[(((triple8) -> rule7))]
("Eric" "is" "cold" "-")
((triple8) -> (rule7 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is blue.
True
4
proof
[(((((triple8) -> rule7) triple9) -> rule5))]
("Eric" "is" "blue" "+")
((((triple8) -> (rule7 % int2)) triple9) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is not blue.
False
4
inv-proof
[(((((triple8) -> rule7) triple9) -> rule5))]
("Eric" "is" "blue" "-")
((((triple8) -> (rule7 % int2)) triple9) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
True
6
proof
[(((triple8 ((((triple8) -> rule7) triple9) -> rule5)) -> rule3))]
("Eric" "is" "big" "+")
((triple8 ((((triple8) -> (rule7 % int3)) triple9) -> (rule5 % int2))) -> (rule3 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is not big.
False
6
inv-proof
[(((triple8 ((((triple8) -> rule7) triple9) -> rule5)) -> rule3))]
("Eric" "is" "big" "-")
((triple8 ((((triple8) -> (rule7 % int3)) triple9) -> (rule5 % int2))) -> (rule3 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is not round.
Unknown
inv-rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "round" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "big" "+")
Alan is not rough.
Unknown
inv-rconc
[@1: Alan is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "rough" "-")
Bob is cold.
Unknown
rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "cold" "+")
Alan is not kind.
Unknown
inv-random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Alan is big.[(triple3)] Alan is cold.[(triple2)] Alan is round.[(triple1)] Bob is big.[(triple6)] Bob is red.[(triple5)] Bob is round.[(triple4)] Eric is green.[(triple10)] Eric is kind.[(triple9)] Eric is nice.[(triple8)] Eric is rough.[(triple7 OR ((((((triple8) -> rule7) triple9) -> rule5) triple9 ((triple8) -> rule7)) -> rule6))] @1: Eric is cold.[(((triple8) -> rule7))] @2: Eric is blue.[(((((triple8) -> rule7) triple9) -> rule5))] @3: Eric is big.[(((triple8 ((((triple8) -> rule7) triple9) -> rule5)) -> rule3))]
Alan is big.
("Alan" "is" "big" "+")
triple3
Alan is cold.
("Alan" "is" "cold" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple6
Bob is red.
("Bob" "is" "red" "+")
triple5
Bob is round.
("Bob" "is" "round" "+")
triple4
Eric is green.
("Eric" "is" "green" "+")
triple10
Eric is kind.
("Eric" "is" "kind" "+")
triple9
Eric is nice.
("Eric" "is" "nice" "+")
triple8
Eric is rough.
("Eric" "is" "rough" "+")
triple7
((((((triple8) -> (rule7 % int3)) triple9) -> (rule5 % int2)) triple9 ((triple8) -> (rule7 % int3))) -> (rule6 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is cold.
("Eric" "is" "cold" "+")
((triple8) -> (rule7 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
((((triple8) -> (rule7 % int2)) triple9) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
((triple8 ((((triple8) -> (rule7 % int3)) triple9) -> (rule5 % int2))) -> (rule3 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Even though Alan is big and round, he is cold much of the time.
Bob had big, red, round cheeks.
Rough Eric can be nice and kind looking green.
If you see someone who is red and green they are round, like Santa Claus.
If you meet a nice, young, red man, you will see that they are big too.
Nice and blue people have to be big as well.
When someone is young they can be nice and kind, but green in society.
Cold and kind people tend to be blue.
Blue, kind, and cold people are habitually rough.
Nice people are cold people.