Alan wears all blue. Young Bob got into a fight that left him with red sores on his face. People think that Fred is round. This might be because he is young and blue. Red Harry is what folks call him, because he is quite red. A kind and big person is young. If you see someone who is red and green they are round, like Santa Claus. A young aged blue person will certainly be nice. People who are nice and big and red are green. Rough and green people are also nice. Nice people are cold people. Young people who are nice and cold, are rather green.
Alan is blue.
("Alan" "is" "blue" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is red.
("Bob" "is" "red" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Harry is red.
("Harry" "is" "red" "+")
If someone is big and kind then they are young.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is red and green then they are round.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is young and blue then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and big and red then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and green then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice then they are cold.
((("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and young and cold then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Fred is young.
True
1
proof
[(triple4)]
("Fred" "is" "young" "+")
triple4
Fred is not blue.
False
1
inv-proof
[(triple6)]
("Fred" "is" "blue" "-")
triple6
Fred is nice.
True
3
proof
[(((triple4 triple6) -> rule3))]
("Fred" "is" "nice" "+")
((triple4 triple6) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is not nice.
False
3
inv-proof
[(((triple4 triple6) -> rule3))]
("Fred" "is" "nice" "-")
((triple4 triple6) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is cold.
True
4
proof
[(((((triple4 triple6) -> rule3)) -> rule6))]
("Fred" "is" "cold" "+")
((((triple4 triple6) -> (rule3 % int2))) -> (rule6 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is not cold.
False
4
inv-proof
[(((((triple4 triple6) -> rule3)) -> rule6))]
("Fred" "is" "cold" "-")
((((triple4 triple6) -> (rule3 % int2))) -> (rule6 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is green.
True
9
proof
[(((((triple4 triple6) -> rule3) triple4 ((((triple4 triple6) -> rule3)) -> rule6)) -> rule7))]
("Fred" "is" "green" "+")
((((triple4 triple6) -> (rule3 % int3)) triple4 ((((triple4 triple6) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is not green.
False
9
inv-proof
[(((((triple4 triple6) -> rule3) triple4 ((((triple4 triple6) -> rule3)) -> rule6)) -> rule7))]
("Fred" "is" "green" "-")
((((triple4 triple6) -> (rule3 % int3)) triple4 ((((triple4 triple6) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "nice" "-")
Bob is round.
Unknown
rconc
[@3: Bob is round.[CWA. Example of deepest failure = (rule2 <- rule7 <- rule3 <- FAIL)]]
("Bob" "is" "round" "+")
Harry is not green.
Unknown
inv-rconc
[@2: Harry is green.[CWA. Example of deepest failure = (rule7 <- rule3 <- FAIL)]]
("Harry" "is" "green" "-")
Alan is cold.
Unknown
rconc
[@3: Alan is cold.[CWA. Example of deepest failure = (rule6 <- rule3 <- rule1 <- FAIL)]]
("Alan" "is" "cold" "+")
Fred is not kind.
Unknown
inv-random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "-")
Fred is big.
Unknown
random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Alan is blue.[(triple1)] Bob is red.[(triple3)] Bob is young.[(triple2)] Fred is blue.[(triple6)] Fred is round.[(triple5)] Fred is young.[(triple4)] Harry is red.[(triple7)] @1: Fred is nice.[(((triple4 triple6) -> rule3))] @2: Fred is cold.[(((((triple4 triple6) -> rule3)) -> rule6))] @3: Fred is green.[(((((triple4 triple6) -> rule3) triple4 ((((triple4 triple6) -> rule3)) -> rule6)) -> rule7))]
Alan is blue.
("Alan" "is" "blue" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple3
Bob is young.
("Bob" "is" "young" "+")
triple2
Fred is blue.
("Fred" "is" "blue" "+")
triple6
Fred is round.
("Fred" "is" "round" "+")
triple5
Fred is young.
("Fred" "is" "young" "+")
triple4
Harry is red.
("Harry" "is" "red" "+")
triple7
Fred is nice.
("Fred" "is" "nice" "+")
((triple4 triple6) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
((((triple4 triple6) -> (rule3 % int2))) -> (rule6 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
((((triple4 triple6) -> (rule3 % int3)) triple4 ((((triple4 triple6) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Alan wears all blue.
Young Bob got into a fight that left him with red sores on his face.
People think that Fred is round; This might be because he is young and blue.
Red Harry is what folks call him, because he is quite red.
A kind and big person is young.
If you see someone who is red and green they are round, like Santa Claus.
A young aged blue person will certainly be nice.
People who are nice and big and red are green.
Rough and green people are also nice.
Nice people are cold people.
Young people who are nice and cold, are rather green.