Even though he's a big dude, Bob is cold. Charlie ate some rotten meat and now feels green. Even though Eric is big and rough, he is nice. Eric often is blue and green with envy. To the touch Fred has rough, cold skin. All the big and young boys at the park are red. People who are young, while being red and cold, are big people. A big and round shaped person that is also cold will be blue in color. Someone blue who is round with bloating and red from sunburn is surely cold from having fallen into the lake. A young and kind person with red rosy skin is cold. Kind people who look green are almost always young in age. People who are nice and rough are looked at as kind.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is cold.
("Fred" "is" "cold" "+")
If someone is big and young then they are red.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is young and red and cold then they are big.
((("someone" "is" "young" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and big and round then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
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 young and kind and red then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and kind then they are young.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and rough then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Eric is rough.
True
1
proof
[(triple4)]
("Eric" "is" "rough" "+")
triple4
Bob is not cold.
False
1
inv-proof
[(triple1)]
("Bob" "is" "cold" "-")
triple1
Eric is kind.
True
3
proof
[(((triple5 triple4) -> rule7))]
("Eric" "is" "kind" "+")
((triple5 triple4) -> (rule7 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is not kind.
False
3
inv-proof
[(((triple5 triple4) -> rule7))]
("Eric" "is" "kind" "-")
((triple5 triple4) -> (rule7 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is young.
True
5
proof
[(((triple6 ((triple5 triple4) -> rule7)) -> rule6))]
("Eric" "is" "young" "+")
((triple6 ((triple5 triple4) -> (rule7 % int2))) -> (rule6 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is not young.
False
5
inv-proof
[(((triple6 ((triple5 triple4) -> rule7)) -> rule6))]
("Eric" "is" "young" "-")
((triple6 ((triple5 triple4) -> (rule7 % int2))) -> (rule6 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is red.
True
7
proof
[(((triple8 ((triple6 ((triple5 triple4) -> rule7)) -> rule6)) -> rule1))]
("Eric" "is" "red" "+")
((triple8 ((triple6 ((triple5 triple4) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is not red.
False
7
inv-proof
[(((triple8 ((triple6 ((triple5 triple4) -> rule7)) -> rule6)) -> rule1))]
("Eric" "is" "red" "-")
((triple8 ((triple6 ((triple5 triple4) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is cold.
True
16
proof
[(((((triple6 ((triple5 triple4) -> rule7)) -> rule6) ((triple5 triple4) -> rule7) ((triple8 ((triple6 ((triple5 triple4) -> rule7)) -> rule6)) -> rule1)) -> rule5))]
("Eric" "is" "cold" "+")
((((triple6 ((triple5 triple4) -> (rule7 % int4))) -> (rule6 % int3)) ((triple5 triple4) -> (rule7 % int4)) ((triple8 ((triple6 ((triple5 triple4) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
int4
Eric is not cold.
False
16
inv-proof
[(((((triple6 ((triple5 triple4) -> rule7)) -> rule6) ((triple5 triple4) -> rule7) ((triple8 ((triple6 ((triple5 triple4) -> rule7)) -> rule6)) -> rule1)) -> rule5))]
("Eric" "is" "cold" "-")
((((triple6 ((triple5 triple4) -> (rule7 % int4))) -> (rule6 % int3)) ((triple5 triple4) -> (rule7 % int4)) ((triple8 ((triple6 ((triple5 triple4) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
int4
Charlie is not cold.
Unknown
inv-rconc
[@2: Charlie is cold.[CWA. Example of deepest failure = (rule5 <- rule7 <- FAIL)]]
("Charlie" "is" "cold" "-")
Bob is young.
Unknown
rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "young" "+")
Fred is not red.
Unknown
inv-rconc
[@2: Fred is red.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Fred" "is" "red" "-")
Fred is blue.
Unknown
rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "blue" "+")
Fred is not kind.
Unknown
inv-rconc
[@1: Fred is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fred" "is" "kind" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Bob is big.[(triple2)] Bob is cold.[(triple1)] Charlie is green.[(triple3)] Eric is big.[(triple8)] Eric is blue.[(triple7)] Eric is green.[(triple6)] Eric is nice.[(triple5)] Eric is rough.[(triple4)] Fred is cold.[(triple10)] Fred is rough.[(triple9)] @1: Eric is kind.[(((triple5 triple4) -> rule7))] @2: Eric is young.[(((triple6 ((triple5 triple4) -> rule7)) -> rule6))] @3: Eric is red.[(((triple8 ((triple6 ((triple5 triple4) -> rule7)) -> rule6)) -> rule1))] @4: Eric is cold.[(((((triple6 ((triple5 triple4) -> rule7)) -> rule6) ((triple5 triple4) -> rule7) ((triple8 ((triple6 ((triple5 triple4) -> rule7)) -> rule6)) -> rule1)) -> rule5))]
Bob is big.
("Bob" "is" "big" "+")
triple2
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Eric is big.
("Eric" "is" "big" "+")
triple8
Eric is blue.
("Eric" "is" "blue" "+")
triple7
Eric is green.
("Eric" "is" "green" "+")
triple6
Eric is nice.
("Eric" "is" "nice" "+")
triple5
Eric is rough.
("Eric" "is" "rough" "+")
triple4
Fred is cold.
("Fred" "is" "cold" "+")
triple10
Fred is rough.
("Fred" "is" "rough" "+")
triple9
Eric is kind.
("Eric" "is" "kind" "+")
((triple5 triple4) -> (rule7 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
((triple6 ((triple5 triple4) -> (rule7 % int2))) -> (rule6 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
((triple8 ((triple6 ((triple5 triple4) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is cold.
("Eric" "is" "cold" "+")
((((triple6 ((triple5 triple4) -> (rule7 % int4))) -> (rule6 % int3)) ((triple5 triple4) -> (rule7 % int4)) ((triple8 ((triple6 ((triple5 triple4) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
int4
Even though he's a big dude, Bob is cold.
Charlie ate some rotten meat and now feels green.
Even though Eric is big and rough, he is nice; Eric often is blue and green with envy.
To the touch Fred has rough, cold skin.
All the big and young boys at the park are red.
People who are young, while being red and cold, are big people.
A big and round shaped person that is also cold will be blue in color.
Someone blue who is round with bloating and red from sunburn is surely cold from having fallen into the lake.
A young and kind person with red rosy skin is cold.
Kind people who look green are almost always young in age.
People who are nice and rough are looked at as kind.