Eric is a red person who is round and also feels blue. Fred has green teeth and rough skin. People also notice his blue eyes. Red Gary is what folks call him, because he is quite red. If a kind person is also young and round shaped, they will be colored blue. Nice, green people that are somewhat round are big through the shoulders. If you color the young ones blue then they will be kind. People that are green tend to be young. Anybody with rough, kind and blue aspects will certainly be cold, too. Most kind and cold people are also big.
Eric is round.
("Eric" "is" "round" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is red.
("Gary" "is" "red" "+")
If someone is kind and young and round then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and nice and round then they are big.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is green then they are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and kind and blue then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and cold then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
Eric is red.
True
1
proof
[(triple2)]
("Eric" "is" "red" "+")
triple2
Eric is not red.
False
1
inv-proof
[(triple2)]
("Eric" "is" "red" "-")
triple2
Fred is young.
True
2
proof
[(((triple5) -> rule4))]
("Fred" "is" "young" "+")
((triple5) -> (rule4 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is not young.
False
2
inv-proof
[(((triple5) -> rule4))]
("Fred" "is" "young" "-")
((triple5) -> (rule4 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is kind.
True
4
proof
[(((triple6 ((triple5) -> rule4)) -> rule3))]
("Fred" "is" "kind" "+")
((triple6 ((triple5) -> (rule4 % int2))) -> (rule3 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is not kind.
False
4
inv-proof
[(((triple6 ((triple5) -> rule4)) -> rule3))]
("Fred" "is" "kind" "-")
((triple6 ((triple5) -> (rule4 % int2))) -> (rule3 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is cold.
True
7
proof
[(((triple4 ((triple6 ((triple5) -> rule4)) -> rule3) triple6) -> rule5))]
("Fred" "is" "cold" "+")
((triple4 ((triple6 ((triple5) -> (rule4 % int3))) -> (rule3 % int2)) triple6) -> (rule5 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Fred is not cold.
False
7
inv-proof
[(((triple4 ((triple6 ((triple5) -> rule4)) -> rule3) triple6) -> rule5))]
("Fred" "is" "cold" "-")
((triple4 ((triple6 ((triple5) -> (rule4 % int3))) -> (rule3 % int2)) triple6) -> (rule5 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Fred is big.
True
12
proof
[(((((triple6 ((triple5) -> rule4)) -> rule3) ((triple4 ((triple6 ((triple5) -> rule4)) -> rule3) triple6) -> rule5)) -> rule6))]
("Fred" "is" "big" "+")
((((triple6 ((triple5) -> (rule4 % int4))) -> (rule3 % int3)) ((triple4 ((triple6 ((triple5) -> (rule4 % int4))) -> (rule3 % int3)) triple6) -> (rule5 % int2))) -> (rule6 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is young.
("Fred" "is" "young" "+")
int4
Fred is not big.
False
12
inv-proof
[(((((triple6 ((triple5) -> rule4)) -> rule3) ((triple4 ((triple6 ((triple5) -> rule4)) -> rule3) triple6) -> rule5)) -> rule6))]
("Fred" "is" "big" "-")
((((triple6 ((triple5) -> (rule4 % int4))) -> (rule3 % int3)) ((triple4 ((triple6 ((triple5) -> (rule4 % int4))) -> (rule3 % int3)) triple6) -> (rule5 % int2))) -> (rule6 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is young.
("Fred" "is" "young" "+")
int4
Alan is not blue.
Unknown
inv-rconc
[@1: Alan is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "blue" "-")
Alan is kind.
Unknown
rconc
[@2: Alan is kind.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Alan" "is" "kind" "+")
Eric is not cold.
Unknown
inv-rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "cold" "-")
Gary is blue.
Unknown
rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "blue" "+")
Alan is not cold.
Unknown
inv-rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "cold" "-")
Alan is red.
Unknown
random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "+")
Fred is not round.
Unknown
inv-random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "-")
Fred is red.
Unknown
random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "+")
Eric is not rough.
Unknown
inv-random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "-")
Alan is rough.
Unknown
random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "+")
@0: Eric is blue.[(triple3)] Eric is red.[(triple2)] Eric is round.[(triple1)] Fred is blue.[(triple6)] Fred is green.[(triple5)] Fred is rough.[(triple4)] Gary is red.[(triple7)] @1: Fred is young.[(((triple5) -> rule4))] @2: Fred is kind.[(((triple6 ((triple5) -> rule4)) -> rule3))] @3: Fred is cold.[(((triple4 ((triple6 ((triple5) -> rule4)) -> rule3) triple6) -> rule5))] @4: Fred is big.[(((((triple6 ((triple5) -> rule4)) -> rule3) ((triple4 ((triple6 ((triple5) -> rule4)) -> rule3) triple6) -> rule5)) -> rule6))]
Eric is blue.
("Eric" "is" "blue" "+")
triple3
Eric is red.
("Eric" "is" "red" "+")
triple2
Eric is round.
("Eric" "is" "round" "+")
triple1
Fred is blue.
("Fred" "is" "blue" "+")
triple6
Fred is green.
("Fred" "is" "green" "+")
triple5
Fred is rough.
("Fred" "is" "rough" "+")
triple4
Gary is red.
("Gary" "is" "red" "+")
triple7
Fred is young.
("Fred" "is" "young" "+")
((triple5) -> (rule4 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
((triple6 ((triple5) -> (rule4 % int2))) -> (rule3 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
((triple4 ((triple6 ((triple5) -> (rule4 % int3))) -> (rule3 % int2)) triple6) -> (rule5 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Fred is big.
("Fred" "is" "big" "+")
((((triple6 ((triple5) -> (rule4 % int4))) -> (rule3 % int3)) ((triple4 ((triple6 ((triple5) -> (rule4 % int4))) -> (rule3 % int3)) triple6) -> (rule5 % int2))) -> (rule6 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is young.
("Fred" "is" "young" "+")
int4
Eric is a red person who is round and also feels blue.
Fred has green teeth and rough skin; People also notice his blue eyes.
Red Gary is what folks call him, because he is quite red.
If a kind person is also young and round shaped, they will be colored blue.
Nice, green people that are somewhat round are big through the shoulders.
If you color the young ones blue then they will be kind.
People that are green tend to be young.
Anybody with rough, kind and blue aspects will certainly be cold, too.
Most kind and cold people are also big.