Alan is big and dresses in blue. Bob ate some rotten meat and now feels green. That guy Fred is big, but he's always kind to little ones. That guy Harry is big, but he's always kind to little ones. Any big, kind person that turns red is cold to the touch. A person fitting the description of rough, cold and red will also be a nice person. Anybody that is big is also someone who is going to be blue. Big, blue people are red. Round, young folks tend to feel blue. A round person will also be red. A person that is round, green, and blue is usually considered cold.
Alan is blue.
("Alan" "is" "blue" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is green.
("Bob" "is" "green" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is big.
("Fred" "is" "big" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is red and big and kind then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and cold and red then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is big then they are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and big then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If someone is round and young then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is round then they are red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is round and green and blue then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
Bob is green.
True
1
proof
[(triple3)]
("Bob" "is" "green" "+")
triple3
Harry is not kind.
False
1
inv-proof
[(triple6)]
("Harry" "is" "kind" "-")
triple6
Harry is blue.
True
2
proof
[(((triple7) -> rule3))]
("Harry" "is" "blue" "+")
((triple7) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is not blue.
False
2
inv-proof
[(((triple7) -> rule3))]
("Harry" "is" "blue" "-")
((triple7) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Fred is red.
True
4
proof
[(((((triple5) -> rule3) triple5) -> rule4))]
("Fred" "is" "red" "+")
((((triple5) -> (rule3 % int2)) triple5) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Harry is not red.
False
4
inv-proof
[(((((triple7) -> rule3) triple7) -> rule4))]
("Harry" "is" "red" "-")
((((triple7) -> (rule3 % int2)) triple7) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is cold.
True
7
proof
[(((((((triple7) -> rule3) triple7) -> rule4) triple7 triple6) -> rule1))]
("Harry" "is" "cold" "+")
((((((triple7) -> (rule3 % int3)) triple7) -> (rule4 % int2)) triple7 triple6) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Fred is not cold.
False
7
inv-proof
[(((((((triple5) -> rule3) triple5) -> rule4) triple5 triple4) -> rule1))]
("Fred" "is" "cold" "-")
((((((triple5) -> (rule3 % int3)) triple5) -> (rule4 % int2)) triple5 triple4) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Alan is not nice.
Unknown
inv-rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "nice" "-")
Bob is blue.
Unknown
rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "blue" "+")
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "cold" "-")
Alan is cold.
Unknown
rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "cold" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
Alan is not green.
Unknown
inv-random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
@0: Alan is big.[(triple2)] Alan is blue.[(triple1 OR ((triple2) -> rule3))] Bob is green.[(triple3)] Fred is big.[(triple5)] Fred is kind.[(triple4)] Harry is big.[(triple7)] Harry is kind.[(triple6)] @1: Alan is red.[(((triple1 triple2) -> rule4) OR ((((triple2) -> rule3) triple2) -> rule4))] Fred is blue.[(((triple5) -> rule3))] Harry is blue.[(((triple7) -> rule3))] @2: Fred is red.[(((((triple5) -> rule3) triple5) -> rule4))] Harry is red.[(((((triple7) -> rule3) triple7) -> rule4))] @3: Fred is cold.[(((((((triple5) -> rule3) triple5) -> rule4) triple5 triple4) -> rule1))] Harry is cold.[(((((((triple7) -> rule3) triple7) -> rule4) triple7 triple6) -> rule1))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is blue.
("Alan" "is" "blue" "+")
triple1
((triple2) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
triple3
Fred is big.
("Fred" "is" "big" "+")
triple5
Fred is kind.
("Fred" "is" "kind" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
triple7
Harry is kind.
("Harry" "is" "kind" "+")
triple6
Alan is red.
("Alan" "is" "red" "+")
((triple1 triple2) -> (rule4 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
((((triple2) -> (rule3 % int2)) triple2) -> (rule4 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
((triple5) -> (rule3 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple7) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((((triple5) -> (rule3 % int2)) triple5) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
((((triple7) -> (rule3 % int2)) triple7) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
((((((triple5) -> (rule3 % int3)) triple5) -> (rule4 % int2)) triple5 triple4) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
((((((triple7) -> (rule3 % int3)) triple7) -> (rule4 % int2)) triple7 triple6) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Alan is big and dresses in blue.
Bob ate some rotten meat and now feels green.
That guy Fred is big, but he's always kind to little ones.
That guy Harry is big, but he's always kind to little ones.
Any big, kind person that turns red is cold to the touch.
A person fitting the description of rough, cold and red will also be a nice person.
Anybody that is big is also someone who is going to be blue.
Big, blue people are red.
Round, young folks tend to feel blue.
A round person will also be red.
A person that is round, green, and blue is usually considered cold.