When you first meet Bob you know he is young and big, but later you find out he is also, incredibly kind, cold and rough. That guy Charlie is big, but he's always kind to little ones. Even though he's a big dude, Dave is cold. Fred is a man who is both round and rough. Someone who has a a young round face is often rough around the edges. Rough and cold and blue people are round. Anybody that is big is also someone who is going to be blue. When someone is young and round, dressing in blue they can be nice. Someone can be young, big, and cold but green.
Bob is young.
("Bob" "is" "young" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is big.
("Dave" "is" "big" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is rough.
("Fred" "is" "rough" "+")
If someone is round and young then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and blue and cold then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is big then they are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and young and blue then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and cold and big then they are green.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
Bob is big.
True
1
proof
[(triple5)]
("Bob" "is" "big" "+")
triple5
Dave is not cold.
False
1
inv-proof
[(triple8)]
("Dave" "is" "cold" "-")
triple8
Dave is blue.
True
2
proof
[(((triple9) -> rule3))]
("Dave" "is" "blue" "+")
((triple9) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Charlie is not blue.
False
2
inv-proof
[(((triple7) -> rule3))]
("Charlie" "is" "blue" "-")
((triple7) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Bob is round.
True
5
proof
[(((triple2 ((triple5) -> rule3) triple4) -> rule2))]
("Bob" "is" "round" "+")
((triple2 ((triple5) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is not round.
False
5
inv-proof
[(((triple2 ((triple5) -> rule3) triple4) -> rule2))]
("Bob" "is" "round" "-")
((triple2 ((triple5) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is nice.
True
9
proof
[(((((triple2 ((triple5) -> rule3) triple4) -> rule2) triple1 ((triple5) -> rule3)) -> rule4))]
("Bob" "is" "nice" "+")
((((triple2 ((triple5) -> (rule3 % int3)) triple4) -> (rule2 % int2)) triple1 ((triple5) -> (rule3 % int3))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is not nice.
False
9
inv-proof
[(((((triple2 ((triple5) -> rule3) triple4) -> rule2) triple1 ((triple5) -> rule3)) -> rule4))]
("Bob" "is" "nice" "-")
((((triple2 ((triple5) -> (rule3 % int3)) triple4) -> (rule2 % int2)) triple1 ((triple5) -> (rule3 % int3))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "nice" "-")
Dave is round.
Unknown
rconc
[@2: Dave is round.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Dave" "is" "round" "+")
Fred is not blue.
Unknown
inv-rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "blue" "-")
Charlie is rough.
Unknown
rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "rough" "+")
Fred is not young.
Unknown
inv-random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "-")
Fred is kind.
Unknown
random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "+")
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Fred is big.
Unknown
random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "+")
@0: Bob is big.[(triple5)] Bob is cold.[(triple4)] Bob is kind.[(triple3)] Bob is rough.[(triple2)] Bob is young.[(triple1)] Charlie is big.[(triple7)] Charlie is kind.[(triple6)] Dave is big.[(triple9)] Dave is cold.[(triple8)] Fred is rough.[(triple11)] Fred is round.[(triple10)] @1: Bob is blue.[(((triple5) -> rule3))] Bob is green.[(((triple1 triple4 triple5) -> rule5))] Charlie is blue.[(((triple7) -> rule3))] Dave is blue.[(((triple9) -> rule3))] @2: Bob is round.[(((triple2 ((triple5) -> rule3) triple4) -> rule2))] @3: Bob is nice.[(((((triple2 ((triple5) -> rule3) triple4) -> rule2) triple1 ((triple5) -> rule3)) -> rule4))]
Bob is big.
("Bob" "is" "big" "+")
triple5
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple7
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
Dave is big.
("Dave" "is" "big" "+")
triple9
Dave is cold.
("Dave" "is" "cold" "+")
triple8
Fred is rough.
("Fred" "is" "rough" "+")
triple11
Fred is round.
("Fred" "is" "round" "+")
triple10
Bob is blue.
("Bob" "is" "blue" "+")
((triple5) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
((triple1 triple4 triple5) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple7) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
((triple9) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((triple2 ((triple5) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((((triple2 ((triple5) -> (rule3 % int3)) triple4) -> (rule2 % int2)) triple1 ((triple5) -> (rule3 % int3))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
When you first meet Bob you know he is young and big, but later you find out he is also, incredibly kind, cold and rough.
That guy Charlie is big, but he's always kind to little ones.
Even though he's a big dude, Dave is cold.
Fred is a man who is both round and rough.
Someone who has a a young round face is often rough around the edges.
Rough and cold and blue people are round.
Anybody that is big is also someone who is going to be blue.
When someone is young and round, dressing in blue they can be nice.
Someone can be young, big, and cold but green.