Alan was born only a few years ago so he is young. Bob is rather young, but he is also kind, green, cold and big. Fred is a man who is both round and rough. Gary was born only a few years ago so he is young. We called someone with green, round eyes, blue for some reason. A nice person with rough skin is red. Blue Christmas ornaments are also red. Big people who are red in color are often nice. A nice young person who is red is cold. Cold, green people have a habit of eating alot and looking quite round. A person with big hair and rough lips is certainly young and jaded.
Alan is young.
("Alan" "is" "young" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is big.
("Bob" "is" "big" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is green and round then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and nice then they are red.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is blue then they are red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is big and red then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and red and young then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and green then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and big then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
Fred is round.
True
1
proof
[(triple7)]
("Fred" "is" "round" "+")
triple7
Alan is not young.
False
1
inv-proof
[(triple1)]
("Alan" "is" "young" "-")
triple1
Bob is round.
True
3
proof
[(((triple5 triple4) -> rule6))]
("Bob" "is" "round" "+")
((triple5 triple4) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is not round.
False
3
inv-proof
[(((triple5 triple4) -> rule6))]
("Bob" "is" "round" "-")
((triple5 triple4) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is blue.
True
5
proof
[(((triple4 ((triple5 triple4) -> rule6)) -> rule1))]
("Bob" "is" "blue" "+")
((triple4 ((triple5 triple4) -> (rule6 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is not blue.
False
5
inv-proof
[(((triple4 ((triple5 triple4) -> rule6)) -> rule1))]
("Bob" "is" "blue" "-")
((triple4 ((triple5 triple4) -> (rule6 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
True
6
proof
[(((((triple4 ((triple5 triple4) -> rule6)) -> rule1)) -> rule3))]
("Bob" "is" "red" "+")
((((triple4 ((triple5 triple4) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is not red.
False
6
inv-proof
[(((((triple4 ((triple5 triple4) -> rule6)) -> rule1)) -> rule3))]
("Bob" "is" "red" "-")
((((triple4 ((triple5 triple4) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is nice.
True
8
proof
[(((triple6 ((((triple4 ((triple5 triple4) -> rule6)) -> rule1)) -> rule3)) -> rule4))]
("Bob" "is" "nice" "+")
((triple6 ((((triple4 ((triple5 triple4) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is not nice.
False
8
inv-proof
[(((triple6 ((((triple4 ((triple5 triple4) -> rule6)) -> rule1)) -> rule3)) -> rule4))]
("Bob" "is" "nice" "-")
((triple6 ((((triple4 ((triple5 triple4) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Fred is not blue.
Unknown
inv-rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "blue" "-")
Fred is young.
Unknown
rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fred" "is" "young" "+")
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "round" "-")
Gary is red.
Unknown
rconc
[@2: Gary is red.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Gary" "is" "red" "+")
Fred is not cold.
Unknown
inv-rconc
[@2: Fred is cold.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Fred" "is" "cold" "-")
Fred is kind.
Unknown
random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "+")
Alan is not green.
Unknown
inv-random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Alan is kind.
Unknown
random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "+")
@0: Alan is young.[(triple1)] Bob is big.[(triple6)] Bob is cold.[(triple5)] Bob is green.[(triple4)] Bob is kind.[(triple3)] Bob is young.[(triple2)] Fred is rough.[(triple8)] Fred is round.[(triple7)] Gary is young.[(triple9)] @1: Bob is round.[(((triple5 triple4) -> rule6))] @2: Bob is blue.[(((triple4 ((triple5 triple4) -> rule6)) -> rule1))] @3: Bob is red.[(((((triple4 ((triple5 triple4) -> rule6)) -> rule1)) -> rule3))] @4: Bob is nice.[(((triple6 ((((triple4 ((triple5 triple4) -> rule6)) -> rule1)) -> rule3)) -> rule4))]
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple6
Bob is cold.
("Bob" "is" "cold" "+")
triple5
Bob is green.
("Bob" "is" "green" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is young.
("Bob" "is" "young" "+")
triple2
Fred is rough.
("Fred" "is" "rough" "+")
triple8
Fred is round.
("Fred" "is" "round" "+")
triple7
Gary is young.
("Gary" "is" "young" "+")
triple9
Bob is round.
("Bob" "is" "round" "+")
((triple5 triple4) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
((triple4 ((triple5 triple4) -> (rule6 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
((((triple4 ((triple5 triple4) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
((triple6 ((((triple4 ((triple5 triple4) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Alan was born only a few years ago so he is young.
Bob is rather young, but he is also kind, green, cold and big.
Fred is a man who is both round and rough.
Gary was born only a few years ago so he is young.
We called someone with green, round eyes, blue for some reason.
A nice person with rough skin is red.
Blue Christmas ornaments are also red.
Big people who are red in color are often nice.
A nice young person who is red is cold.
Cold, green people have a habit of eating alot and looking quite round.
A person with big hair and rough lips is certainly young and jaded.