Alan was born only a few years ago so he is young. That Bob is as round and red as a cherry, and twice as kind. That man standing next to you with a big round body goes by the name of Eric. Even though Fred feels blue because of how round he is, he is still nice and kind to people that talk to him. When you meet someone round, blue and nice they are as a rule rough. A rough and kind person is big. A person who is described as round and rough is usually kind. A big person who looks blue is also going to look young. When anyone is young, red and green, you know they'll also be blue. Big people with round and somewhat red faces will have rough skin. A young, cold person is often blue.
Alan is young.
("Alan" "is" "young" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is blue and nice and round then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and rough then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is round and rough then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and big then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is red and young and green then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and round and red then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and young then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Fred is round.
True
1
proof
[(triple7)]
("Fred" "is" "round" "+")
triple7
Fred is not kind.
False
1
inv-proof
[(triple9 OR ((triple7 ((triple10 triple8 triple7) -> rule1)) -> rule3))]
("Fred" "is" "kind" "-")
triple9
((triple7 ((triple10 triple8 triple7) -> (rule1 % int2))) -> (rule3 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is rough.
True
4
proof
[(((triple10 triple8 triple7) -> rule1))]
("Fred" "is" "rough" "+")
((triple10 triple8 triple7) -> (rule1 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is not rough.
False
4
inv-proof
[(((triple10 triple8 triple7) -> rule1))]
("Fred" "is" "rough" "-")
((triple10 triple8 triple7) -> (rule1 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is big.
True
6
proof
[(((triple9 ((triple10 triple8 triple7) -> rule1)) -> rule2) OR ((((triple7 ((triple10 triple8 triple7) -> rule1)) -> rule3) ((triple10 triple8 triple7) -> rule1)) -> rule2))]
("Fred" "is" "big" "+")
((triple9 ((triple10 triple8 triple7) -> (rule1 % int2))) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
((((triple7 ((triple10 triple8 triple7) -> (rule1 % int3))) -> (rule3 % int2)) ((triple10 triple8 triple7) -> (rule1 % int3))) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is not big.
False
6
inv-proof
[(((triple9 ((triple10 triple8 triple7) -> rule1)) -> rule2) OR ((((triple7 ((triple10 triple8 triple7) -> rule1)) -> rule3) ((triple10 triple8 triple7) -> rule1)) -> rule2))]
("Fred" "is" "big" "-")
((triple9 ((triple10 triple8 triple7) -> (rule1 % int2))) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
((((triple7 ((triple10 triple8 triple7) -> (rule1 % int3))) -> (rule3 % int2)) ((triple10 triple8 triple7) -> (rule1 % int3))) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is young.
True
8
proof
[(((triple10 ((triple9 ((triple10 triple8 triple7) -> rule1)) -> rule2)) -> rule4) OR ((triple10 ((((triple7 ((triple10 triple8 triple7) -> rule1)) -> rule3) ((triple10 triple8 triple7) -> rule1)) -> rule2)) -> rule4))]
("Fred" "is" "young" "+")
((triple10 ((triple9 ((triple10 triple8 triple7) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
((triple10 ((((triple7 ((triple10 triple8 triple7) -> (rule1 % int4))) -> (rule3 % int3)) ((triple10 triple8 triple7) -> (rule1 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
Fred is not young.
False
8
inv-proof
[(((triple10 ((triple9 ((triple10 triple8 triple7) -> rule1)) -> rule2)) -> rule4) OR ((triple10 ((((triple7 ((triple10 triple8 triple7) -> rule1)) -> rule3) ((triple10 triple8 triple7) -> rule1)) -> rule2)) -> rule4))]
("Fred" "is" "young" "-")
((triple10 ((triple9 ((triple10 triple8 triple7) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
((triple10 ((((triple7 ((triple10 triple8 triple7) -> (rule1 % int4))) -> (rule3 % int3)) ((triple10 triple8 triple7) -> (rule1 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
Eric is not kind.
Unknown
inv-rconc
[@2: Eric is kind.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Eric" "is" "kind" "-")
Bob is blue.
Unknown
rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "blue" "+")
Bob is not rough.
Unknown
inv-rconc
[@3: Bob is rough.[CWA. Example of deepest failure = (rule6 <- rule2 <- rule1 <- FAIL)]]
("Bob" "is" "rough" "-")
Eric is blue.
Unknown
rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "blue" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
Alan is not round.
Unknown
inv-random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "-")
Alan is nice.
Unknown
random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "+")
@0: Alan is young.[(triple1)] Bob is kind.[(triple4)] Bob is red.[(triple3)] Bob is round.[(triple2)] Eric is big.[(triple6)] Eric is round.[(triple5)] Fred is blue.[(triple10)] Fred is kind.[(triple9 OR ((triple7 ((triple10 triple8 triple7) -> rule1)) -> rule3))] Fred is nice.[(triple8)] Fred is round.[(triple7)] @1: Fred is rough.[(((triple10 triple8 triple7) -> rule1))] @2: Fred is big.[(((triple9 ((triple10 triple8 triple7) -> rule1)) -> rule2) OR ((((triple7 ((triple10 triple8 triple7) -> rule1)) -> rule3) ((triple10 triple8 triple7) -> rule1)) -> rule2))] @3: Fred is young.[(((triple10 ((triple9 ((triple10 triple8 triple7) -> rule1)) -> rule2)) -> rule4) OR ((triple10 ((((triple7 ((triple10 triple8 triple7) -> rule1)) -> rule3) ((triple10 triple8 triple7) -> rule1)) -> rule2)) -> rule4))]
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple2
Eric is big.
("Eric" "is" "big" "+")
triple6
Eric is round.
("Eric" "is" "round" "+")
triple5
Fred is blue.
("Fred" "is" "blue" "+")
triple10
Fred is kind.
("Fred" "is" "kind" "+")
triple9
((triple7 ((triple10 triple8 triple7) -> (rule1 % int2))) -> (rule3 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
triple8
Fred is round.
("Fred" "is" "round" "+")
triple7
Fred is rough.
("Fred" "is" "rough" "+")
((triple10 triple8 triple7) -> (rule1 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
((triple9 ((triple10 triple8 triple7) -> (rule1 % int2))) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
((((triple7 ((triple10 triple8 triple7) -> (rule1 % int3))) -> (rule3 % int2)) ((triple10 triple8 triple7) -> (rule1 % int3))) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is young.
("Fred" "is" "young" "+")
((triple10 ((triple9 ((triple10 triple8 triple7) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
((triple10 ((((triple7 ((triple10 triple8 triple7) -> (rule1 % int4))) -> (rule3 % int3)) ((triple10 triple8 triple7) -> (rule1 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
Alan was born only a few years ago so he is young.
That Bob is as round and red as a cherry, and twice as kind.
That man standing next to you with a big round body goes by the name of Eric.
Even though Fred feels blue because of how round he is, he is still nice and kind to people that talk to him.
When you meet someone round, blue and nice they are as a rule rough.
A rough and kind person is big.
A person who is described as round and rough is usually kind.
A big person who looks blue is also going to look young.
When anyone is young, red and green, you know they'll also be blue.
Big people with round and somewhat red faces will have rough skin.
A young, cold person is often blue.