Alan ate some rotten meat and now feels green. The diving trip left Bob red and green all over, yet he remains the nice (though rather rough) guy he always has been. When you see Eric, you will notice he is cold, big and kind. Harry is a young man who is also kind, blue and rough. Because someone is green and kind they are extremely nice to people. People who are nice, round and wearing blue will have red cheeks. Cold people with rough, green skin are young. Someone who is young and nice is often round. A nice big person who is also round is going to be cold. A green and red colored person who has a nice temperament will be cold.
Alan is green.
("Alan" "is" "green" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is green.
("Bob" "is" "green" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is big.
("Eric" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is green and kind then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and round and blue then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and rough and green then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is young and nice then they are round.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is round and big and nice then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and nice and red then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
Alan is green.
True
1
proof
[(triple1)]
("Alan" "is" "green" "+")
triple1
Bob is not red.
False
1
inv-proof
[(triple3)]
("Bob" "is" "red" "-")
triple3
Bob is cold.
True
4
proof
[(((triple5 triple4 triple3) -> rule6))]
("Bob" "is" "cold" "+")
((triple5 triple4 triple3) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is not cold.
False
4
inv-proof
[(((triple5 triple4 triple3) -> rule6))]
("Bob" "is" "cold" "-")
((triple5 triple4 triple3) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
True
7
proof
[(((((triple5 triple4 triple3) -> rule6) triple2 triple5) -> rule3))]
("Bob" "is" "young" "+")
((((triple5 triple4 triple3) -> (rule6 % int2)) triple2 triple5) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is not young.
False
7
inv-proof
[(((((triple5 triple4 triple3) -> rule6) triple2 triple5) -> rule3))]
("Bob" "is" "young" "-")
((((triple5 triple4 triple3) -> (rule6 % int2)) triple2 triple5) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is round.
True
9
proof
[(((((((triple5 triple4 triple3) -> rule6) triple2 triple5) -> rule3) triple4) -> rule4))]
("Bob" "is" "round" "+")
((((((triple5 triple4 triple3) -> (rule6 % int3)) triple2 triple5) -> (rule3 % int2)) triple4) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is not round.
False
9
inv-proof
[(((((((triple5 triple4 triple3) -> rule6) triple2 triple5) -> rule3) triple4) -> rule4))]
("Bob" "is" "round" "-")
((((((triple5 triple4 triple3) -> (rule6 % int3)) triple2 triple5) -> (rule3 % int2)) triple4) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Alan is not cold.
Unknown
inv-rconc
[@2: Alan is cold.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("Alan" "is" "cold" "-")
Alan is young.
Unknown
rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "young" "+")
Alan is not red.
Unknown
inv-rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "red" "-")
Harry is nice.
Unknown
rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "nice" "+")
Eric is not blue.
Unknown
inv-random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Alan is rough.
Unknown
random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "+")
@0: Alan is green.[(triple1)] Bob is green.[(triple5)] Bob is nice.[(triple4)] Bob is red.[(triple3)] Bob is rough.[(triple2)] Eric is big.[(triple8)] Eric is cold.[(triple7)] Eric is kind.[(triple6)] Harry is blue.[(triple12)] Harry is kind.[(triple11)] Harry is rough.[(triple10)] Harry is young.[(triple9)] @1: Bob is cold.[(((triple5 triple4 triple3) -> rule6))] @2: Bob is young.[(((((triple5 triple4 triple3) -> rule6) triple2 triple5) -> rule3))] @3: Bob is round.[(((((((triple5 triple4 triple3) -> rule6) triple2 triple5) -> rule3) triple4) -> rule4))]
Alan is green.
("Alan" "is" "green" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple5
Bob is nice.
("Bob" "is" "nice" "+")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Eric is big.
("Eric" "is" "big" "+")
triple8
Eric is cold.
("Eric" "is" "cold" "+")
triple7
Eric is kind.
("Eric" "is" "kind" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Harry is young.
("Harry" "is" "young" "+")
triple9
Bob is cold.
("Bob" "is" "cold" "+")
((triple5 triple4 triple3) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((((triple5 triple4 triple3) -> (rule6 % int2)) triple2 triple5) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
((((((triple5 triple4 triple3) -> (rule6 % int3)) triple2 triple5) -> (rule3 % int2)) triple4) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Alan ate some rotten meat and now feels green.
The diving trip left Bob red and green all over, yet he remains the nice (though rather rough) guy he always has been.
When you see Eric, you will notice he is cold, big and kind.
Harry is a young man who is also kind, blue and rough.
Because someone is green and kind they are extremely nice to people.
People who are nice, round and wearing blue will have red cheeks.
Cold people with rough, green skin are young.
Someone who is young and nice is often round.
A nice big person who is also round is going to be cold.
A green and red colored person who has a nice temperament will be cold.