Alan ate some rotten meat and now feels green. Bob is big in stature, blue from the cold, has red hair and is kind. Dave was born only a few years ago so he is young. Young Fred is wearing green pants. A kind and big person is young. Round people who feel rough also always feel cold,. If someone has a red complexion that is rough and feels blue then you'll see they are rather nice. Like a blueberry, a big blue person is round as anything. If a person is quite big and also round then they are certainly rough too. Blue and red people who are young always have rough skin.
Alan is green.
("Alan" "is" "green" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is young.
("Dave" "is" "young" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is green.
("Fred" "is" "green" "+")
If someone is big and kind then they are young.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is round and rough then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and rough and blue then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and big then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is big and round then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and red and young then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Bob is kind.
True
1
proof
[(triple3)]
("Bob" "is" "kind" "+")
triple3
Dave is not young.
False
1
inv-proof
[(triple7)]
("Dave" "is" "young" "-")
triple7
Bob is young.
True
3
proof
[(((triple6 triple3) -> rule1))]
("Bob" "is" "young" "+")
((triple6 triple3) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is not round.
False
3
inv-proof
[(((triple5 triple6) -> rule4))]
("Bob" "is" "round" "-")
((triple5 triple6) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
True
5
proof
[(((triple6 ((triple5 triple6) -> rule4)) -> rule5) OR ((triple5 triple2 ((triple6 triple3) -> rule1)) -> rule6))]
("Bob" "is" "rough" "+")
((triple6 ((triple5 triple6) -> (rule4 % int2))) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((triple5 triple2 ((triple6 triple3) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is not rough.
False
5
inv-proof
[(((triple6 ((triple5 triple6) -> rule4)) -> rule5) OR ((triple5 triple2 ((triple6 triple3) -> rule1)) -> rule6))]
("Bob" "is" "rough" "-")
((triple6 ((triple5 triple6) -> (rule4 % int2))) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((triple5 triple2 ((triple6 triple3) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
True
8
proof
[(((triple2 ((triple6 ((triple5 triple6) -> rule4)) -> rule5) triple5) -> rule3) OR ((triple2 ((triple5 triple2 ((triple6 triple3) -> rule1)) -> rule6) triple5) -> rule3))]
("Bob" "is" "nice" "+")
((triple2 ((triple6 ((triple5 triple6) -> (rule4 % int3))) -> (rule5 % int2)) triple5) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((triple2 ((triple5 triple2 ((triple6 triple3) -> (rule1 % int3))) -> (rule6 % int2)) triple5) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is not nice.
False
8
inv-proof
[(((triple2 ((triple6 ((triple5 triple6) -> rule4)) -> rule5) triple5) -> rule3) OR ((triple2 ((triple5 triple2 ((triple6 triple3) -> rule1)) -> rule6) triple5) -> rule3))]
("Bob" "is" "nice" "-")
((triple2 ((triple6 ((triple5 triple6) -> (rule4 % int3))) -> (rule5 % int2)) triple5) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((triple2 ((triple5 triple2 ((triple6 triple3) -> (rule1 % int3))) -> (rule6 % int2)) triple5) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Fred is not cold.
Unknown
inv-rconc
[@2: Fred is cold.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Fred" "is" "cold" "-")
Alan is round.
Unknown
rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "round" "+")
Dave is not rough.
Unknown
inv-rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "rough" "-")
Fred is nice.
Unknown
rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "nice" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
Fred is not big.
Unknown
inv-random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "-")
Fred is red.
Unknown
random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "+")
@0: Alan is green.[(triple1)] Bob is big.[(triple6)] Bob is blue.[(triple5)] Bob is cold.[(triple4 OR ((((triple5 triple6) -> rule4) ((triple6 ((triple5 triple6) -> rule4)) -> rule5)) -> rule2) OR ((((triple5 triple6) -> rule4) ((triple5 triple2 ((triple6 triple3) -> rule1)) -> rule6)) -> rule2))] Bob is kind.[(triple3)] Bob is red.[(triple2)] Dave is young.[(triple7)] Fred is green.[(triple9)] Fred is young.[(triple8)] @1: Bob is round.[(((triple5 triple6) -> rule4))] Bob is young.[(((triple6 triple3) -> rule1))] @2: Bob is rough.[(((triple6 ((triple5 triple6) -> rule4)) -> rule5) OR ((triple5 triple2 ((triple6 triple3) -> rule1)) -> rule6))] @3: Bob is nice.[(((triple2 ((triple6 ((triple5 triple6) -> rule4)) -> rule5) triple5) -> rule3) OR ((triple2 ((triple5 triple2 ((triple6 triple3) -> rule1)) -> rule6) triple5) -> rule3))]
Alan is green.
("Alan" "is" "green" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple6
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is cold.
("Bob" "is" "cold" "+")
triple4
((((triple5 triple6) -> (rule4 % int3)) ((triple6 ((triple5 triple6) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((triple5 triple6) -> (rule4 % int4)) ((triple5 triple2 ((triple6 triple3) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple7
Fred is green.
("Fred" "is" "green" "+")
triple9
Fred is young.
("Fred" "is" "young" "+")
triple8
Bob is round.
("Bob" "is" "round" "+")
((triple5 triple6) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((triple6 triple3) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((triple6 ((triple5 triple6) -> (rule4 % int2))) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((triple5 triple2 ((triple6 triple3) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((triple2 ((triple6 ((triple5 triple6) -> (rule4 % int3))) -> (rule5 % int2)) triple5) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((triple2 ((triple5 triple2 ((triple6 triple3) -> (rule1 % int3))) -> (rule6 % int2)) triple5) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Alan ate some rotten meat and now feels green.
Bob is big in stature, blue from the cold, has red hair and is kind.
Dave was born only a few years ago so he is young.
Young Fred is wearing green pants.
A kind and big person is young.
Round people who feel rough also always feel cold,.
If someone has a red complexion that is rough and feels blue then you'll see they are rather nice.
Like a blueberry, a big blue person is round as anything.
If a person is quite big and also round then they are certainly rough too.
Blue and red people who are young always have rough skin.