Bob is blue and cold. Fred is a red person who is round and also feels blue. Gary is blue from ink he spilled on himself while being kind and helping some children paint. Harry is a person both green and big. People that tend to be big and green also tend to be cold. A big blue someone could also be green. Get out of the way if a red and green person walks up to you because they are rough. Anybody with big, rough and nice qualities is bound to also be young. A kind person who look green and is round in shape is usually big in stature. Someone who is cold and big is also a red person.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is big and green then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and big then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is red and green then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and rough and nice then they are young.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is round and kind and green then they are big.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is big and cold then they are red.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
Fred is blue.
True
1
proof
[(triple5)]
("Fred" "is" "blue" "+")
triple5
Bob is not blue.
False
1
inv-proof
[(triple2)]
("Bob" "is" "blue" "-")
triple2
Harry is cold.
True
3
proof
[(((triple9 triple8) -> rule1))]
("Harry" "is" "cold" "+")
((triple9 triple8) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is not cold.
False
3
inv-proof
[(((triple9 triple8) -> rule1))]
("Harry" "is" "cold" "-")
((triple9 triple8) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
True
5
proof
[(((triple9 ((triple9 triple8) -> rule1)) -> rule6))]
("Harry" "is" "red" "+")
((triple9 ((triple9 triple8) -> (rule1 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is not red.
False
5
inv-proof
[(((triple9 ((triple9 triple8) -> rule1)) -> rule6))]
("Harry" "is" "red" "-")
((triple9 ((triple9 triple8) -> (rule1 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is rough.
True
7
proof
[(((((triple9 ((triple9 triple8) -> rule1)) -> rule6) triple8) -> rule3))]
("Harry" "is" "rough" "+")
((((triple9 ((triple9 triple8) -> (rule1 % int3))) -> (rule6 % int2)) triple8) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is not rough.
False
7
inv-proof
[(((((triple9 ((triple9 triple8) -> rule1)) -> rule6) triple8) -> rule3))]
("Harry" "is" "rough" "-")
((((triple9 ((triple9 triple8) -> (rule1 % int3))) -> (rule6 % int2)) triple8) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "big" "-")
Bob is green.
Unknown
rconc
[@2: Bob is green.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Bob" "is" "green" "+")
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "big" "-")
Bob is rough.
Unknown
rconc
[@3: Bob is rough.[CWA. Example of deepest failure = (rule3 <- rule6 <- rule5 <- FAIL)]]
("Bob" "is" "rough" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Bob is blue.[(triple2)] Bob is cold.[(triple1)] Fred is blue.[(triple5)] Fred is red.[(triple4)] Fred is round.[(triple3)] Gary is blue.[(triple7)] Gary is kind.[(triple6)] Harry is big.[(triple9)] Harry is green.[(triple8)] @1: Harry is cold.[(((triple9 triple8) -> rule1))] @2: Harry is red.[(((triple9 ((triple9 triple8) -> rule1)) -> rule6))] @3: Harry is rough.[(((((triple9 ((triple9 triple8) -> rule1)) -> rule6) triple8) -> rule3))]
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Fred is blue.
("Fred" "is" "blue" "+")
triple5
Fred is red.
("Fred" "is" "red" "+")
triple4
Fred is round.
("Fred" "is" "round" "+")
triple3
Gary is blue.
("Gary" "is" "blue" "+")
triple7
Gary is kind.
("Gary" "is" "kind" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is green.
("Harry" "is" "green" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
((triple9 triple8) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple9 ((triple9 triple8) -> (rule1 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
((((triple9 ((triple9 triple8) -> (rule1 % int3))) -> (rule6 % int2)) triple8) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Bob is blue and cold.
Fred is a red person who is round and also feels blue.
Gary is blue from ink he spilled on himself while being kind and helping some children paint.
Harry is a person both green and big.
People that tend to be big and green also tend to be cold.
A big blue someone could also be green.
Get out of the way if a red and green person walks up to you because they are rough.
Anybody with big, rough and nice qualities is bound to also be young.
A kind person who look green and is round in shape is usually big in stature.
Someone who is cold and big is also a red person.