Alan is big and rough. Bob is nice and kind, but a little rough. Eric is so big, he is often blue, but always kind. Gary who is big in stature is almost always nice even when he is cold. Nice people that are blue because they are cold turn green with envy. A round shaped and young aged person will be very cold. There could be a round someone with red hair wearing blue pants. A person who is kind but also rough and is also colored blue, will be shaped round. An individual who is big and nice is also green. Nice people who are kind, despite their rough skin, are big hearted. Kind people who look green are almost always young in age.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is blue and nice and cold then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is round and young then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and round then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and rough and blue then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is big and nice then they are green.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and nice and rough then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is green and kind then they are young.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
Alan is big.
True
1
proof
[(triple2)]
("Alan" "is" "big" "+")
triple2
Eric is not blue.
False
1
inv-proof
[(triple7)]
("Eric" "is" "blue" "-")
triple7
Gary is green.
True
3
proof
[(((triple11 triple9) -> rule5))]
("Gary" "is" "green" "+")
((triple11 triple9) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is not green.
False
3
inv-proof
[(((triple11 triple9) -> rule5))]
("Gary" "is" "green" "-")
((triple11 triple9) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Bob is green.
True
6
proof
[(((((triple5 triple4 triple3) -> rule6) triple4) -> rule5))]
("Bob" "is" "green" "+")
((((triple5 triple4 triple3) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is not green.
False
6
inv-proof
[(((((triple5 triple4 triple3) -> rule6) triple4) -> rule5))]
("Bob" "is" "green" "-")
((((triple5 triple4 triple3) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
True
8
proof
[(((((((triple5 triple4 triple3) -> rule6) triple4) -> rule5) triple5) -> rule7))]
("Bob" "is" "young" "+")
((((((triple5 triple4 triple3) -> (rule6 % int3)) triple4) -> (rule5 % int2)) triple5) -> (rule7 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is not young.
False
8
inv-proof
[(((((((triple5 triple4 triple3) -> rule6) triple4) -> rule5) triple5) -> rule7))]
("Bob" "is" "young" "-")
((((((triple5 triple4 triple3) -> (rule6 % int3)) triple4) -> (rule5 % int2)) triple5) -> (rule7 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Eric is not cold.
Unknown
inv-rconc
[@2: Eric is cold.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Eric" "is" "cold" "-")
Bob is blue.
Unknown
rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "blue" "+")
Eric is not green.
Unknown
inv-rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "green" "-")
Gary is blue.
Unknown
rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "blue" "+")
Alan is not nice.
Unknown
inv-random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "-")
Alan is red.
Unknown
random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Alan is big.[(triple2)] Alan is rough.[(triple1)] Bob is kind.[(triple5)] Bob is nice.[(triple4)] Bob is rough.[(triple3)] Eric is big.[(triple8)] Eric is blue.[(triple7)] Eric is kind.[(triple6)] Gary is big.[(triple11)] Gary is cold.[(triple10)] Gary is nice.[(triple9)] @1: Bob is big.[(((triple5 triple4 triple3) -> rule6))] Gary is green.[(((triple11 triple9) -> rule5))] @2: Bob is green.[(((((triple5 triple4 triple3) -> rule6) triple4) -> rule5))] @3: Bob is young.[(((((((triple5 triple4 triple3) -> rule6) triple4) -> rule5) triple5) -> rule7))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple5
Bob is nice.
("Bob" "is" "nice" "+")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Eric is big.
("Eric" "is" "big" "+")
triple8
Eric is blue.
("Eric" "is" "blue" "+")
triple7
Eric is kind.
("Eric" "is" "kind" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Bob is big.
("Bob" "is" "big" "+")
((triple5 triple4 triple3) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple11 triple9) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
((((triple5 triple4 triple3) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
((((((triple5 triple4 triple3) -> (rule6 % int3)) triple4) -> (rule5 % int2)) triple5) -> (rule7 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Alan is big and rough.
Bob is nice and kind, but a little rough.
Eric is so big, he is often blue, but always kind.
Gary who is big in stature is almost always nice even when he is cold.
Nice people that are blue because they are cold turn green with envy.
A round shaped and young aged person will be very cold.
There could be a round someone with red hair wearing blue pants.
A person who is kind but also rough and is also colored blue, will be shaped round.
An individual who is big and nice is also green.
Nice people who are kind, despite their rough skin, are big hearted.
Kind people who look green are almost always young in age.