Bob wears all blue. Charlie is big and dresses in blue. Fred is a big, round, nice, and red fellow is looking a bit green righ now. Blue Christmas ornaments are also red. It's easy to be round and blue when you are young. Someone blue and red is definitely round and dressed as a clown. People that are red and blue and green at the same time have a reason to be cold. Green eyed people are often nice, but when they are also round about the middle they are most certainly kind. A person who is green and kind is usually rather big. Big kind people are usually cold.
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is blue then they are red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is round and blue then they are young.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and red then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is red and blue and green then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and nice and round then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and kind then they are big.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and big then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
Fred is round.
True
1
proof
[(triple4)]
("Fred" "is" "round" "+")
triple4
Charlie is not big.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "big" "-")
triple3
Charlie is red.
True
2
proof
[(((triple2) -> rule1))]
("Charlie" "is" "red" "+")
((triple2) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is not red.
False
2
inv-proof
[(((triple2) -> rule1))]
("Charlie" "is" "red" "-")
((triple2) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Bob is round.
True
4
proof
[(((triple1 ((triple1) -> rule1)) -> rule3))]
("Bob" "is" "round" "+")
((triple1 ((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Fred is not cold.
False
6
inv-proof
[(((((triple7 triple6 triple4) -> rule5) triple8) -> rule7) OR ((((triple7 triple6 triple4) -> rule5) ((triple7 ((triple7 triple6 triple4) -> rule5)) -> rule6)) -> rule7))]
("Fred" "is" "cold" "-")
((((triple7 triple6 triple4) -> (rule5 % int2)) triple8) -> (rule7 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
((((triple7 triple6 triple4) -> (rule5 % int3)) ((triple7 ((triple7 triple6 triple4) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Charlie is young.
True
6
proof
[(((((triple2 ((triple2) -> rule1)) -> rule3) triple2) -> rule2))]
("Charlie" "is" "young" "+")
((((triple2 ((triple2) -> (rule1 % int3))) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Bob is not young.
False
6
inv-proof
[(((((triple1 ((triple1) -> rule1)) -> rule3) triple1) -> rule2))]
("Bob" "is" "young" "-")
((((triple1 ((triple1) -> (rule1 % int3))) -> (rule3 % int2)) triple1) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Fred is not young.
Unknown
inv-rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "young" "-")
Charlie is kind.
Unknown
rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "kind" "+")
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "kind" "-")
Gary is big.
Unknown
rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "big" "+")
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Fred is rough.
Unknown
random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Bob is blue.[(triple1)] Charlie is big.[(triple3)] Charlie is blue.[(triple2)] Fred is big.[(triple8 OR ((triple7 ((triple7 triple6 triple4) -> rule5)) -> rule6))] Fred is green.[(triple7)] Fred is nice.[(triple6)] Fred is red.[(triple5)] Fred is round.[(triple4)] @1: Bob is red.[(((triple1) -> rule1))] Charlie is red.[(((triple2) -> rule1))] Fred is kind.[(((triple7 triple6 triple4) -> rule5))] @2: Bob is round.[(((triple1 ((triple1) -> rule1)) -> rule3))] Charlie is round.[(((triple2 ((triple2) -> rule1)) -> rule3))] Fred is cold.[(((((triple7 triple6 triple4) -> rule5) triple8) -> rule7) OR ((((triple7 triple6 triple4) -> rule5) ((triple7 ((triple7 triple6 triple4) -> rule5)) -> rule6)) -> rule7))] @3: Bob is young.[(((((triple1 ((triple1) -> rule1)) -> rule3) triple1) -> rule2))] Charlie is young.[(((((triple2 ((triple2) -> rule1)) -> rule3) triple2) -> rule2))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple3
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Fred is big.
("Fred" "is" "big" "+")
triple8
((triple7 ((triple7 triple6 triple4) -> (rule5 % int2))) -> (rule6 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
triple7
Fred is nice.
("Fred" "is" "nice" "+")
triple6
Fred is red.
("Fred" "is" "red" "+")
triple5
Fred is round.
("Fred" "is" "round" "+")
triple4
Bob is red.
("Bob" "is" "red" "+")
((triple1) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
((triple2) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
((triple7 triple6 triple4) -> (rule5 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((triple1 ((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
((triple2 ((triple2) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
((((triple7 triple6 triple4) -> (rule5 % int2)) triple8) -> (rule7 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
((((triple7 triple6 triple4) -> (rule5 % int3)) ((triple7 ((triple7 triple6 triple4) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
((((triple1 ((triple1) -> (rule1 % int3))) -> (rule3 % int2)) triple1) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
((((triple2 ((triple2) -> (rule1 % int3))) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Bob wears all blue.
Charlie is big and dresses in blue.
Fred is a big, round, nice, and red fellow is looking a bit green righ now.
Blue Christmas ornaments are also red.
It's easy to be round and blue when you are young.
Someone blue and red is definitely round and dressed as a clown.
People that are red and blue and green at the same time have a reason to be cold.
Green eyed people are often nice, but when they are also round about the middle they are most certainly kind.
A person who is green and kind is usually rather big.
Big kind people are usually cold.