Bob is made of many colors, red and blue and green. He is also rough and cold. Dave ate some rotten meat and now feels green. To the touch Eric has rough, cold skin. Fred is green, which is a possible explanation for why he is so nice. A cold person who is round but rough around the edges is big. Most green and round people,though big are quite young. When you meet a young, red person, you'll learn they are also nice. A person who is kind but also rough and is also colored blue, will be shaped round. You can see that cold, blue people are round in shape. People who are nice and kind are somewhat young.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Dave is green.
("Dave" "is" "green" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is green.
("Fred" "is" "green" "+")
If someone is round and cold and rough then they are big.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is green and round and big then they are young.
((("someone" "is" "green" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is young and red then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
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 cold and blue then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and nice then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
Dave is green.
True
1
proof
[(triple6)]
("Dave" "is" "green" "+")
triple6
Fred is not nice.
False
1
inv-proof
[(triple9)]
("Fred" "is" "nice" "-")
triple9
Bob is round.
True
3
proof
[(((triple4 triple5) -> rule5))]
("Bob" "is" "round" "+")
((triple4 triple5) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is not round.
False
3
inv-proof
[(((triple4 triple5) -> rule5))]
("Bob" "is" "round" "-")
((triple4 triple5) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
True
6
proof
[(((((triple4 triple5) -> rule5) triple4 triple1) -> rule1))]
("Bob" "is" "big" "+")
((((triple4 triple5) -> (rule5 % int2)) triple4 triple1) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is not big.
False
6
inv-proof
[(((((triple4 triple5) -> rule5) triple4 triple1) -> rule1))]
("Bob" "is" "big" "-")
((((triple4 triple5) -> (rule5 % int2)) triple4 triple1) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
True
11
proof
[(((triple3 ((triple4 triple5) -> rule5) ((((triple4 triple5) -> rule5) triple4 triple1) -> rule1)) -> rule2))]
("Bob" "is" "young" "+")
((triple3 ((triple4 triple5) -> (rule5 % int3)) ((((triple4 triple5) -> (rule5 % int3)) triple4 triple1) -> (rule1 % int2))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is not young.
False
11
inv-proof
[(((triple3 ((triple4 triple5) -> rule5) ((((triple4 triple5) -> rule5) triple4 triple1) -> rule1)) -> rule2))]
("Bob" "is" "young" "-")
((triple3 ((triple4 triple5) -> (rule5 % int3)) ((((triple4 triple5) -> (rule5 % int3)) triple4 triple1) -> (rule1 % int2))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is nice.
True
13
proof
[(((((triple3 ((triple4 triple5) -> rule5) ((((triple4 triple5) -> rule5) triple4 triple1) -> rule1)) -> rule2) triple2) -> rule3))]
("Bob" "is" "nice" "+")
((((triple3 ((triple4 triple5) -> (rule5 % int4)) ((((triple4 triple5) -> (rule5 % int4)) triple4 triple1) -> (rule1 % int3))) -> (rule2 % int2)) triple2) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is not nice.
False
13
inv-proof
[(((((triple3 ((triple4 triple5) -> rule5) ((((triple4 triple5) -> rule5) triple4 triple1) -> rule1)) -> rule2) triple2) -> rule3))]
("Bob" "is" "nice" "-")
((((triple3 ((triple4 triple5) -> (rule5 % int4)) ((((triple4 triple5) -> (rule5 % int4)) triple4 triple1) -> (rule1 % int3))) -> (rule2 % int2)) triple2) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "round" "-")
Dave is big.
Unknown
rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "big" "+")
Eric is not round.
Unknown
inv-rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "round" "-")
Dave is nice.
Unknown
rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "nice" "+")
Dave is not young.
Unknown
inv-rconc
[@2: Dave is young.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Dave" "is" "young" "-")
Fred is cold.
Unknown
random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "+")
Fred is not kind.
Unknown
inv-random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "-")
Fred is blue.
Unknown
random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "+")
Fred is not red.
Unknown
inv-random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "-")
Eric is green.
Unknown
random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "+")
@0: Bob is blue.[(triple5)] Bob is cold.[(triple4)] Bob is green.[(triple3)] Bob is red.[(triple2)] Bob is rough.[(triple1)] Dave is green.[(triple6)] Eric is cold.[(triple8)] Eric is rough.[(triple7)] Fred is green.[(triple10)] Fred is nice.[(triple9)] @1: Bob is round.[(((triple4 triple5) -> rule5))] @2: Bob is big.[(((((triple4 triple5) -> rule5) triple4 triple1) -> rule1))] @3: Bob is young.[(((triple3 ((triple4 triple5) -> rule5) ((((triple4 triple5) -> rule5) triple4 triple1) -> rule1)) -> rule2))] @4: Bob is nice.[(((((triple3 ((triple4 triple5) -> rule5) ((((triple4 triple5) -> rule5) triple4 triple1) -> rule1)) -> rule2) triple2) -> rule3))]
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple6
Eric is cold.
("Eric" "is" "cold" "+")
triple8
Eric is rough.
("Eric" "is" "rough" "+")
triple7
Fred is green.
("Fred" "is" "green" "+")
triple10
Fred is nice.
("Fred" "is" "nice" "+")
triple9
Bob is round.
("Bob" "is" "round" "+")
((triple4 triple5) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
((((triple4 triple5) -> (rule5 % int2)) triple4 triple1) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
((triple3 ((triple4 triple5) -> (rule5 % int3)) ((((triple4 triple5) -> (rule5 % int3)) triple4 triple1) -> (rule1 % int2))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
((((triple3 ((triple4 triple5) -> (rule5 % int4)) ((((triple4 triple5) -> (rule5 % int4)) triple4 triple1) -> (rule1 % int3))) -> (rule2 % int2)) triple2) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is made of many colors, red and blue and green; He is also rough and cold.
Dave ate some rotten meat and now feels green.
To the touch Eric has rough, cold skin.
Fred is green, which is a possible explanation for why he is so nice.
A cold person who is round but rough around the edges is big.
Most green and round people,though big are quite young.
When you meet a young, red person, you'll learn they are also nice.
A person who is kind but also rough and is also colored blue, will be shaped round.
You can see that cold, blue people are round in shape.
People who are nice and kind are somewhat young.