Bob is both young and fairly round in size. Eric is big and dresses in blue. If you met Fred you would find him nice, blue, cold and quite big. Harry is a red fellow who habitually looks blue. He's often cold. Nice people that are blue because they are cold turn green with envy. A big person who looks blue is also going to look young. When someone is young, they can be cold but kind. Don't be surprised to hear that all nice, kind folks are in fact rough. Someone who is not only rough and big but also nice will necessarily be round as well. Rough people who are nice and have green thumbs are almost always young.
Bob is young.
("Bob" "is" "young" "+")
Bob is round.
("Bob" "is" "round" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is blue and nice and cold then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and big then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is young and cold then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and kind then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and big and nice then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and green and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
Harry is cold.
True
1
proof
[(triple10)]
("Harry" "is" "cold" "+")
triple10
Bob is not young.
False
1
inv-proof
[(triple1)]
("Bob" "is" "young" "-")
triple1
Fred is green.
True
4
proof
[(((triple7 triple5 triple6) -> rule1))]
("Fred" "is" "green" "+")
((triple7 triple5 triple6) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is not green.
False
4
inv-proof
[(((triple7 triple5 triple6) -> rule1))]
("Fred" "is" "green" "-")
((triple7 triple5 triple6) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is kind.
True
5
proof
[(((((triple7 triple8) -> rule2) triple6) -> rule3))]
("Fred" "is" "kind" "+")
((((triple7 triple8) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is not kind.
False
5
inv-proof
[(((((triple7 triple8) -> rule2) triple6) -> rule3))]
("Fred" "is" "kind" "-")
((((triple7 triple8) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is rough.
True
7
proof
[(((triple5 ((((triple7 triple8) -> rule2) triple6) -> rule3)) -> rule4))]
("Fred" "is" "rough" "+")
((triple5 ((((triple7 triple8) -> (rule2 % int3)) triple6) -> (rule3 % int2))) -> (rule4 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Fred is not rough.
False
7
inv-proof
[(((triple5 ((((triple7 triple8) -> rule2) triple6) -> rule3)) -> rule4))]
("Fred" "is" "rough" "-")
((triple5 ((((triple7 triple8) -> (rule2 % int3)) triple6) -> (rule3 % int2))) -> (rule4 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Fred is round.
True
10
proof
[(((((triple5 ((((triple7 triple8) -> rule2) triple6) -> rule3)) -> rule4) triple8 triple5) -> rule5))]
("Fred" "is" "round" "+")
((((triple5 ((((triple7 triple8) -> (rule2 % int4)) triple6) -> (rule3 % int3))) -> (rule4 % int2)) triple8 triple5) -> (rule5 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is young.
("Fred" "is" "young" "+")
int4
Fred is not round.
False
10
inv-proof
[(((((triple5 ((((triple7 triple8) -> rule2) triple6) -> rule3)) -> rule4) triple8 triple5) -> rule5))]
("Fred" "is" "round" "-")
((((triple5 ((((triple7 triple8) -> (rule2 % int4)) triple6) -> (rule3 % int3))) -> (rule4 % int2)) triple8 triple5) -> (rule5 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is young.
("Fred" "is" "young" "+")
int4
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "green" "-")
Harry is kind.
Unknown
rconc
[@2: Harry is kind.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Harry" "is" "kind" "+")
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "young" "-")
Eric is green.
Unknown
rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "green" "+")
Eric is not round.
Unknown
inv-rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "round" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
Eric is not cold.
Unknown
inv-random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
Fred is not red.
Unknown
inv-random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
@0: Bob is round.[(triple2)] Bob is young.[(triple1)] Eric is big.[(triple4)] Eric is blue.[(triple3)] Fred is big.[(triple8)] Fred is blue.[(triple7)] Fred is cold.[(triple6)] Fred is nice.[(triple5)] Harry is blue.[(triple11)] Harry is cold.[(triple10)] Harry is red.[(triple9)] @1: Eric is young.[(((triple3 triple4) -> rule2))] Fred is green.[(((triple7 triple5 triple6) -> rule1))] Fred is young.[(((triple7 triple8) -> rule2))] @2: Fred is kind.[(((((triple7 triple8) -> rule2) triple6) -> rule3))] @3: Fred is rough.[(((triple5 ((((triple7 triple8) -> rule2) triple6) -> rule3)) -> rule4))] @4: Fred is round.[(((((triple5 ((((triple7 triple8) -> rule2) triple6) -> rule3)) -> rule4) triple8 triple5) -> rule5))]
Bob is round.
("Bob" "is" "round" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple4
Eric is blue.
("Eric" "is" "blue" "+")
triple3
Fred is big.
("Fred" "is" "big" "+")
triple8
Fred is blue.
("Fred" "is" "blue" "+")
triple7
Fred is cold.
("Fred" "is" "cold" "+")
triple6
Fred is nice.
("Fred" "is" "nice" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is red.
("Harry" "is" "red" "+")
triple9
Eric is young.
("Eric" "is" "young" "+")
((triple3 triple4) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
((triple7 triple5 triple6) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
((triple7 triple8) -> (rule2 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
((((triple7 triple8) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
((triple5 ((((triple7 triple8) -> (rule2 % int3)) triple6) -> (rule3 % int2))) -> (rule4 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Fred is round.
("Fred" "is" "round" "+")
((((triple5 ((((triple7 triple8) -> (rule2 % int4)) triple6) -> (rule3 % int3))) -> (rule4 % int2)) triple8 triple5) -> (rule5 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is young.
("Fred" "is" "young" "+")
int4
Bob is both young and fairly round in size.
Eric is big and dresses in blue.
If you met Fred you would find him nice, blue, cold and quite big.
Harry is a red fellow who habitually looks blue; He's often cold.
Nice people that are blue because they are cold turn green with envy.
A big person who looks blue is also going to look young.
When someone is young, they can be cold but kind.
Don't be surprised to hear that all nice, kind folks are in fact rough.
Someone who is not only rough and big but also nice will necessarily be round as well.
Rough people who are nice and have green thumbs are almost always young.