Bob is a red fellow who habitually looks blue. He's often cold. Dave is a big gentleman who is very nice. He is secretly green with envy. Eric is blue because he is round and big. He is young a bit rough around the edges. Red Fred is what folks call him, because he is quite red. A kind and green person who is rough around the edges is cold. A rather round and big person will be kind, but also blue. People with big hands and red, rough skin are terribly kind. A blue person who is young and rough is also red. Rough, blue people tend to have a lot of green aspects.
Bob is red.
("Bob" "is" "red" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is red.
("Fred" "is" "red" "+")
If someone is green and rough and kind then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and kind and big then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and big and red then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and young and rough then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and blue then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Dave is big.
True
1
proof
[(triple6)]
("Dave" "is" "big" "+")
triple6
Eric is not big.
False
1
inv-proof
[(triple11)]
("Eric" "is" "big" "-")
triple11
Eric is red.
True
4
proof
[(((triple10 triple7 triple9) -> rule4))]
("Eric" "is" "red" "+")
((triple10 triple7 triple9) -> (rule4 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is not green.
False
3
inv-proof
[(((triple9 triple10) -> rule5))]
("Eric" "is" "green" "-")
((triple9 triple10) -> (rule5 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is kind.
True
7
proof
[(((triple9 triple11 ((triple10 triple7 triple9) -> rule4)) -> rule3))]
("Eric" "is" "kind" "+")
((triple9 triple11 ((triple10 triple7 triple9) -> (rule4 % int2))) -> (rule3 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is not kind.
False
7
inv-proof
[(((triple9 triple11 ((triple10 triple7 triple9) -> rule4)) -> rule3))]
("Eric" "is" "kind" "-")
((triple9 triple11 ((triple10 triple7 triple9) -> (rule4 % int2))) -> (rule3 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is cold.
True
12
proof
[(((((triple9 triple10) -> rule5) triple9 ((triple9 triple11 ((triple10 triple7 triple9) -> rule4)) -> rule3)) -> rule1))]
("Eric" "is" "cold" "+")
((((triple9 triple10) -> (rule5 % int4)) triple9 ((triple9 triple11 ((triple10 triple7 triple9) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
int4
Eric is not cold.
False
12
inv-proof
[(((((triple9 triple10) -> rule5) triple9 ((triple9 triple11 ((triple10 triple7 triple9) -> rule4)) -> rule3)) -> rule1))]
("Eric" "is" "cold" "-")
((((triple9 triple10) -> (rule5 % int4)) triple9 ((triple9 triple11 ((triple10 triple7 triple9) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
int4
Fred is not cold.
Unknown
inv-rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "cold" "-")
Fred is kind.
Unknown
rconc
[@1: Fred is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "kind" "+")
Fred is not green.
Unknown
inv-rconc
[@1: Fred is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "green" "-")
Dave is cold.
Unknown
rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "cold" "+")
Fred is not rough.
Unknown
inv-random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "-")
Fred is young.
Unknown
random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
@0: Bob is blue.[(triple3)] Bob is cold.[(triple2)] Bob is red.[(triple1)] Dave is big.[(triple6)] Dave is green.[(triple5)] Dave is nice.[(triple4)] Eric is big.[(triple11)] Eric is blue.[(triple10)] Eric is rough.[(triple9)] Eric is round.[(triple8)] Eric is young.[(triple7)] Fred is red.[(triple12)] @1: Eric is green.[(((triple9 triple10) -> rule5))] Eric is red.[(((triple10 triple7 triple9) -> rule4))] @2: Eric is kind.[(((triple9 triple11 ((triple10 triple7 triple9) -> rule4)) -> rule3))] @3: Eric is cold.[(((((triple9 triple10) -> rule5) triple9 ((triple9 triple11 ((triple10 triple7 triple9) -> rule4)) -> rule3)) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is green.
("Dave" "is" "green" "+")
triple5
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Eric is big.
("Eric" "is" "big" "+")
triple11
Eric is blue.
("Eric" "is" "blue" "+")
triple10
Eric is rough.
("Eric" "is" "rough" "+")
triple9
Eric is round.
("Eric" "is" "round" "+")
triple8
Eric is young.
("Eric" "is" "young" "+")
triple7
Fred is red.
("Fred" "is" "red" "+")
triple12
Eric is green.
("Eric" "is" "green" "+")
((triple9 triple10) -> (rule5 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
((triple10 triple7 triple9) -> (rule4 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
((triple9 triple11 ((triple10 triple7 triple9) -> (rule4 % int2))) -> (rule3 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
((((triple9 triple10) -> (rule5 % int4)) triple9 ((triple9 triple11 ((triple10 triple7 triple9) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
int4
Bob is a red fellow who habitually looks blue; He's often cold.
Dave is a big gentleman who is very nice; He is secretly green with envy.
Eric is blue because he is round and big; He is young a bit rough around the edges.
Red Fred is what folks call him, because he is quite red.
A kind and green person who is rough around the edges is cold.
A rather round and big person will be kind, but also blue.
People with big hands and red, rough skin are terribly kind.
A blue person who is young and rough is also red.
Rough, blue people tend to have a lot of green aspects.