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.
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.