Alan is young and kind.  But he plays really rough with his friends. Bob is a nice person who is red because he has a rash. Big Fred is nice but also rough. Even though he's a big dude, Gary is cold. If someone is blue and rough, they always see red in others. When someone is blue, lives green they can be rough but kind. Anyone that's rough and cold is also going to be blue. If a human is both young and kind, they are also cold. If a person that is kind is big and blue they have to be young. You will discover that green rough people are always red.
If someone is blue and rough then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and rough and green then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and rough then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and kind then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and kind and big then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is green and rough then they are red.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
Gary is cold.
True
1
proof
[(triple9)]
("Gary" "is" "cold" "+")
triple9
Fred is not big.
False
1
inv-proof
[(triple8)]
("Fred" "is" "big" "-")
triple8
Alan is cold.
True
3
proof
[(((triple1 triple3) -> rule4))]
("Alan" "is" "cold" "+")
((triple1 triple3) -> (rule4 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is not cold.
False
3
inv-proof
[(((triple1 triple3) -> rule4))]
("Alan" "is" "cold" "-")
((triple1 triple3) -> (rule4 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is blue.
True
5
proof
[(((((triple1 triple3) -> rule4) triple2) -> rule3))]
("Alan" "is" "blue" "+")
((((triple1 triple3) -> (rule4 % int2)) triple2) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is not blue.
False
5
inv-proof
[(((((triple1 triple3) -> rule4) triple2) -> rule3))]
("Alan" "is" "blue" "-")
((((triple1 triple3) -> (rule4 % int2)) triple2) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is red.
True
7
proof
[(((((((triple1 triple3) -> rule4) triple2) -> rule3) triple2) -> rule1))]
("Alan" "is" "red" "+")
((((((triple1 triple3) -> (rule4 % int3)) triple2) -> (rule3 % int2)) triple2) -> (rule1 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is not red.
False
7
inv-proof
[(((((((triple1 triple3) -> rule4) triple2) -> rule3) triple2) -> rule1))]
("Alan" "is" "red" "-")
((((((triple1 triple3) -> (rule4 % int3)) triple2) -> (rule3 % int2)) triple2) -> (rule1 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Bob is not blue.
Unknown
inv-rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "blue" "-")
Bob is young.
Unknown
rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "young" "+")
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "kind" "-")
Gary is young.
Unknown
rconc
[@2: Gary is young.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Gary" "is" "young" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Fred is green.
Unknown
random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Alan is round.
Unknown
random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "+")
@0: Alan is kind.[(triple3)] Alan is rough.[(triple2)] Alan is young.[(triple1)] Bob is nice.[(triple5)] Bob is red.[(triple4)] Fred is big.[(triple8)] Fred is nice.[(triple7)] Fred is rough.[(triple6)] Gary is big.[(triple10)] Gary is cold.[(triple9)] @1: Alan is cold.[(((triple1 triple3) -> rule4))] @2: Alan is blue.[(((((triple1 triple3) -> rule4) triple2) -> rule3))] @3: Alan is red.[(((((((triple1 triple3) -> rule4) triple2) -> rule3) triple2) -> rule1))]
Alan is kind.
("Alan" "is" "kind" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple4
Fred is big.
("Fred" "is" "big" "+")
triple8
Fred is nice.
("Fred" "is" "nice" "+")
triple7
Fred is rough.
("Fred" "is" "rough" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Alan is cold.
("Alan" "is" "cold" "+")
((triple1 triple3) -> (rule4 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
((((triple1 triple3) -> (rule4 % int2)) triple2) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
((((((triple1 triple3) -> (rule4 % int3)) triple2) -> (rule3 % int2)) triple2) -> (rule1 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is young and kind; But he plays really rough with his friends.
Bob is a nice person who is red because he has a rash.
Big Fred is nice but also rough.
Even though he's a big dude, Gary is cold.
If someone is blue and rough, they always see red in others.
When someone is blue, lives green they can be rough but kind.
Anyone that's rough and cold is also going to be blue.
If a human is both young and kind, they are also cold.
If a person that is kind is big and blue they have to be young.
You will discover that green rough people are always red.