Alan is very nice to people, but he's also rather big. Red Bob is what folks call him, because he is quite red. Even though Eric is rough, he nice but cold and blue. Harry looks big and is kind with red hair and green shoes. Surprisingly, all the kind, green people were also big. Look for the blue and green people, they are kind and will give you directions if you're lost. A person that is round, green, and blue is usually considered cold. Anyone who's blue is also green.
Alan is nice.
("Alan" "is" "nice" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is red.
("Bob" "is" "red" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is kind and green then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and green then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and green and blue then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue then they are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Alan is big.
True
1
proof
[(triple2)]
("Alan" "is" "big" "+")
triple2
Harry is not green.
False
1
inv-proof
[(triple10)]
("Harry" "is" "green" "-")
triple10
Eric is green.
True
2
proof
[(((triple7) -> rule4))]
("Eric" "is" "green" "+")
((triple7) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is not green.
False
2
inv-proof
[(((triple7) -> rule4))]
("Eric" "is" "green" "-")
((triple7) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is kind.
True
4
proof
[(((triple7 ((triple7) -> rule4)) -> rule2))]
("Eric" "is" "kind" "+")
((triple7 ((triple7) -> (rule4 % int2))) -> (rule2 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is not kind.
False
4
inv-proof
[(((triple7 ((triple7) -> rule4)) -> rule2))]
("Eric" "is" "kind" "-")
((triple7 ((triple7) -> (rule4 % int2))) -> (rule2 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is big.
True
7
proof
[(((((triple7 ((triple7) -> rule4)) -> rule2) ((triple7) -> rule4)) -> rule1))]
("Eric" "is" "big" "+")
((((triple7 ((triple7) -> (rule4 % int3))) -> (rule2 % int2)) ((triple7) -> (rule4 % int3))) -> (rule1 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is not big.
False
7
inv-proof
[(((((triple7 ((triple7) -> rule4)) -> rule2) ((triple7) -> rule4)) -> rule1))]
("Eric" "is" "big" "-")
((((triple7 ((triple7) -> (rule4 % int3))) -> (rule2 % int2)) ((triple7) -> (rule4 % int3))) -> (rule1 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Harry is not cold.
Unknown
inv-rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "cold" "-")
Alan is cold.
Unknown
rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "cold" "+")
Alan is not green.
Unknown
inv-rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "green" "-")
Bob is green.
Unknown
rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "green" "+")
Eric is not young.
Unknown
inv-random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "-")
Alan is round.
Unknown
random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Alan is red.
Unknown
random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "+")
@0: Alan is big.[(triple2)] Alan is nice.[(triple1)] Bob is red.[(triple3)] Eric is blue.[(triple7)] Eric is cold.[(triple6)] Eric is nice.[(triple5)] Eric is rough.[(triple4)] Harry is big.[(triple11 OR ((triple9 triple10) -> rule1))] Harry is green.[(triple10)] Harry is kind.[(triple9)] Harry is red.[(triple8)] @1: Eric is green.[(((triple7) -> rule4))] @2: Eric is kind.[(((triple7 ((triple7) -> rule4)) -> rule2))] @3: Eric is big.[(((((triple7 ((triple7) -> rule4)) -> rule2) ((triple7) -> rule4)) -> rule1))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is nice.
("Alan" "is" "nice" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple3
Eric is blue.
("Eric" "is" "blue" "+")
triple7
Eric is cold.
("Eric" "is" "cold" "+")
triple6
Eric is nice.
("Eric" "is" "nice" "+")
triple5
Eric is rough.
("Eric" "is" "rough" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
triple11
((triple9 triple10) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple8
Eric is green.
("Eric" "is" "green" "+")
((triple7) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
((triple7 ((triple7) -> (rule4 % int2))) -> (rule2 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
((((triple7 ((triple7) -> (rule4 % int3))) -> (rule2 % int2)) ((triple7) -> (rule4 % int3))) -> (rule1 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Alan is very nice to people, but he's also rather big.
Red Bob is what folks call him, because he is quite red.
Even though Eric is rough, he nice but cold and blue.
Harry looks big and is kind with red hair and green shoes.
Surprisingly, all the kind, green people were also big.
Look for the blue and green people, they are kind and will give you directions if you're lost.
A person that is round, green, and blue is usually considered cold.
Anyone who's blue is also green.