Although Alan is young and nice, he is as cold as ice. Bob is known to be rough and green. Even though he's a big dude, Dave is cold. Eric was born only a few years ago so he is young. If people are cold they are often red. If you can find someone who is nice and red, then be relieved that they are certain to be kind. A person with a rough quality is also a person with a blue quality. If someone is kind to others and cold to others as well as being red faced then you'll find that they often have a round body. People that are green tend to be young.
Alan is young.
("Alan" "is" "young" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is green.
("Bob" "is" "green" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is young.
("Eric" "is" "young" "+")
If someone is cold then they are red.
((("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and red then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough then they are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and cold and red then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is green then they are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
Alan is nice.
True
1
proof
[(triple2)]
("Alan" "is" "nice" "+")
triple2
Dave is not cold.
False
1
inv-proof
[(triple6)]
("Dave" "is" "cold" "-")
triple6
Bob is blue.
True
2
proof
[(((triple4) -> rule3))]
("Bob" "is" "blue" "+")
((triple4) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Dave is not red.
False
2
inv-proof
[(((triple6) -> rule1))]
("Dave" "is" "red" "-")
((triple6) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Alan is kind.
True
4
proof
[(((triple2 ((triple3) -> rule1)) -> rule2))]
("Alan" "is" "kind" "+")
((triple2 ((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is not kind.
False
4
inv-proof
[(((triple2 ((triple3) -> rule1)) -> rule2))]
("Alan" "is" "kind" "-")
((triple2 ((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is round.
True
8
proof
[(((((triple2 ((triple3) -> rule1)) -> rule2) triple3 ((triple3) -> rule1)) -> rule4))]
("Alan" "is" "round" "+")
((((triple2 ((triple3) -> (rule1 % int3))) -> (rule2 % int2)) triple3 ((triple3) -> (rule1 % int3))) -> (rule4 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan is not round.
False
8
inv-proof
[(((((triple2 ((triple3) -> rule1)) -> rule2) triple3 ((triple3) -> rule1)) -> rule4))]
("Alan" "is" "round" "-")
((((triple2 ((triple3) -> (rule1 % int3))) -> (rule2 % int2)) triple3 ((triple3) -> (rule1 % int3))) -> (rule4 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Dave is not young.
Unknown
inv-rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "young" "-")
Dave is blue.
Unknown
rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "blue" "+")
Eric is not red.
Unknown
inv-rconc
[@1: Eric is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "red" "-")
Dave is kind.
Unknown
rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "kind" "+")
Eric is not nice.
Unknown
inv-random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
Eric is not big.
Unknown
inv-random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "-")
Alan is rough.
Unknown
random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "+")
@0: Alan is cold.[(triple3)] Alan is nice.[(triple2)] Alan is young.[(triple1)] Bob is green.[(triple5)] Bob is rough.[(triple4)] Dave is big.[(triple7)] Dave is cold.[(triple6)] Eric is young.[(triple8)] @1: Alan is red.[(((triple3) -> rule1))] Bob is blue.[(((triple4) -> rule3))] Bob is young.[(((triple5) -> rule5))] Dave is red.[(((triple6) -> rule1))] @2: Alan is kind.[(((triple2 ((triple3) -> rule1)) -> rule2))] @3: Alan is round.[(((((triple2 ((triple3) -> rule1)) -> rule2) triple3 ((triple3) -> rule1)) -> rule4))]
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple5
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Dave is big.
("Dave" "is" "big" "+")
triple7
Dave is cold.
("Dave" "is" "cold" "+")
triple6
Eric is young.
("Eric" "is" "young" "+")
triple8
Alan is red.
("Alan" "is" "red" "+")
((triple3) -> (rule1 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
((triple4) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((triple5) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((triple6) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
((triple2 ((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
((((triple2 ((triple3) -> (rule1 % int3))) -> (rule2 % int2)) triple3 ((triple3) -> (rule1 % int3))) -> (rule4 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Although Alan is young and nice, he is as cold as ice.
Bob is known to be rough and green.
Even though he's a big dude, Dave is cold.
Eric was born only a few years ago so he is young.
If people are cold they are often red.
If you can find someone who is nice and red, then be relieved that they are certain to be kind.
A person with a rough quality is also a person with a blue quality.
If someone is kind to others and cold to others as well as being red faced then you'll find that they often have a round body.
People that are green tend to be young.