Bob is blue and cold. Eric is blue and cold. Being young, Fred is still green and blue. Harry ate some rotten meat and now feels green. Green and blue people have a habit of being cold, which makes them red too. Someone who is not kind, will see red and be cold, which leads them to always feel blue. If a person is red and green, then they will present as big. Looking blue can be a sign that someone is cold. Those who are round and cold are young.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is green and blue and cold then they are red.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and red and cold then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and green then they are big.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is blue then they are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and round then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
Bob is cold.
True
1
proof
[(triple1 OR ((triple2) -> rule4))]
("Bob" "is" "cold" "+")
triple1
((triple2) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is not blue.
False
1
inv-proof
[(triple2)]
("Bob" "is" "blue" "-")
triple2
Fred is cold.
True
2
proof
[(((triple7) -> rule4))]
("Fred" "is" "cold" "+")
((triple7) -> (rule4 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is not cold.
False
2
inv-proof
[(((triple7) -> rule4))]
("Fred" "is" "cold" "-")
((triple7) -> (rule4 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is red.
True
5
proof
[(((triple6 triple7 ((triple7) -> rule4)) -> rule1))]
("Fred" "is" "red" "+")
((triple6 triple7 ((triple7) -> (rule4 % int2))) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is not red.
False
5
inv-proof
[(((triple6 triple7 ((triple7) -> rule4)) -> rule1))]
("Fred" "is" "red" "-")
((triple6 triple7 ((triple7) -> (rule4 % int2))) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is big.
True
7
proof
[(((((triple6 triple7 ((triple7) -> rule4)) -> rule1) triple6) -> rule3))]
("Fred" "is" "big" "+")
((((triple6 triple7 ((triple7) -> (rule4 % int3))) -> (rule1 % int2)) triple6) -> (rule3 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is not big.
False
7
inv-proof
[(((((triple6 triple7 ((triple7) -> rule4)) -> rule1) triple6) -> rule3))]
("Fred" "is" "big" "-")
((((triple6 triple7 ((triple7) -> (rule4 % int3))) -> (rule1 % int2)) triple6) -> (rule3 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "big" "-")
Harry is cold.
Unknown
rconc
[@2: Harry is cold.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Harry" "is" "cold" "+")
Eric is not young.
Unknown
inv-rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "young" "-")
Bob is red.
Unknown
rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "red" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Fred is rough.
Unknown
random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "+")
@0: Bob is blue.[(triple2)] Bob is cold.[(triple1 OR ((triple2) -> rule4))] Eric is blue.[(triple4)] Eric is cold.[(triple3 OR ((triple4) -> rule4))] Fred is blue.[(triple7)] Fred is green.[(triple6)] Fred is young.[(triple5)] Harry is green.[(triple8)] @1: Fred is cold.[(((triple7) -> rule4))] @2: Fred is red.[(((triple6 triple7 ((triple7) -> rule4)) -> rule1))] @3: Fred is big.[(((((triple6 triple7 ((triple7) -> rule4)) -> rule1) triple6) -> rule3))]
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is cold.
("Bob" "is" "cold" "+")
triple1
((triple2) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
triple4
Eric is cold.
("Eric" "is" "cold" "+")
triple3
((triple4) -> (rule4 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
triple7
Fred is green.
("Fred" "is" "green" "+")
triple6
Fred is young.
("Fred" "is" "young" "+")
triple5
Harry is green.
("Harry" "is" "green" "+")
triple8
Fred is cold.
("Fred" "is" "cold" "+")
((triple7) -> (rule4 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((triple6 triple7 ((triple7) -> (rule4 % int2))) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
((((triple6 triple7 ((triple7) -> (rule4 % int3))) -> (rule1 % int2)) triple6) -> (rule3 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Bob is blue and cold.
Eric is blue and cold.
Being young, Fred is still green and blue.
Harry ate some rotten meat and now feels green.
Green and blue people have a habit of being cold, which makes them red too.
Someone who is not kind, will see red and be cold, which leads them to always feel blue.
If a person is red and green, then they will present as big.
Looking blue can be a sign that someone is cold.
Those who are round and cold are young.