Alan fits the description of someone who is rough, red and blue. Bob ate some rotten meat and now feels green. Fred is big and has rough red skin. He is blue about it and green with envy of the smaller people. If the description of nice and green applies to somebody, the description of young will, too. Big, young people feel cold all the time. Someone who is both red and blue will also be a nice person. Any human being with green, big, kind eyes, also has round eyes. A person who exhibits nice, kind and cold characteristics will also be a rough person. A person that is feeling blue and slightly big, is red as well.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is green.
("Bob" "is" "green" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is green and nice then they are young.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is young and big then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and blue then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and big and kind then they are round.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and nice and cold then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and blue then they are red.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
Alan is red.
True
1
proof
[(triple2)]
("Alan" "is" "red" "+")
triple2
Fred is not green.
False
1
inv-proof
[(triple7)]
("Fred" "is" "green" "-")
triple7
Fred is nice.
True
3
proof
[(((triple6 triple8) -> rule3) OR ((((triple9 triple8) -> rule6) triple8) -> rule3))]
("Fred" "is" "nice" "+")
((triple6 triple8) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
((((triple9 triple8) -> (rule6 % int2)) triple8) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is not nice.
False
3
inv-proof
[(((triple6 triple8) -> rule3) OR ((((triple9 triple8) -> rule6) triple8) -> rule3))]
("Fred" "is" "nice" "-")
((triple6 triple8) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
((((triple9 triple8) -> (rule6 % int2)) triple8) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is young.
True
5
proof
[(((triple7 ((triple6 triple8) -> rule3)) -> rule1) OR ((triple7 ((((triple9 triple8) -> rule6) triple8) -> rule3)) -> rule1))]
("Fred" "is" "young" "+")
((triple7 ((triple6 triple8) -> (rule3 % int2))) -> (rule1 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
((triple7 ((((triple9 triple8) -> (rule6 % int3)) triple8) -> (rule3 % int2))) -> (rule1 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is not young.
False
5
inv-proof
[(((triple7 ((triple6 triple8) -> rule3)) -> rule1) OR ((triple7 ((((triple9 triple8) -> rule6) triple8) -> rule3)) -> rule1))]
("Fred" "is" "young" "-")
((triple7 ((triple6 triple8) -> (rule3 % int2))) -> (rule1 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
((triple7 ((((triple9 triple8) -> (rule6 % int3)) triple8) -> (rule3 % int2))) -> (rule1 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is cold.
True
7
proof
[(((((triple7 ((triple6 triple8) -> rule3)) -> rule1) triple9) -> rule2) OR ((((triple7 ((((triple9 triple8) -> rule6) triple8) -> rule3)) -> rule1) triple9) -> rule2))]
("Fred" "is" "cold" "+")
((((triple7 ((triple6 triple8) -> (rule3 % int3))) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
((((triple7 ((((triple9 triple8) -> (rule6 % int4)) triple8) -> (rule3 % int3))) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Fred is not cold.
False
7
inv-proof
[(((((triple7 ((triple6 triple8) -> rule3)) -> rule1) triple9) -> rule2) OR ((((triple7 ((((triple9 triple8) -> rule6) triple8) -> rule3)) -> rule1) triple9) -> rule2))]
("Fred" "is" "cold" "-")
((((triple7 ((triple6 triple8) -> (rule3 % int3))) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
((((triple7 ((((triple9 triple8) -> (rule6 % int4)) triple8) -> (rule3 % int3))) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "round" "-")
Dave is rough.
Unknown
rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "rough" "+")
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "rough" "-")
Dave is red.
Unknown
rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "red" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
Fred is not kind.
Unknown
inv-random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "-")
Alan is green.
Unknown
random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "+")
@0: Alan is blue.[(triple3)] Alan is red.[(triple2)] Alan is rough.[(triple1)] Bob is green.[(triple4)] Fred is big.[(triple9)] Fred is blue.[(triple8)] Fred is green.[(triple7)] Fred is red.[(triple6 OR ((triple9 triple8) -> rule6))] Fred is rough.[(triple5)] @1: Alan is nice.[(((triple2 triple3) -> rule3))] Fred is nice.[(((triple6 triple8) -> rule3) OR ((((triple9 triple8) -> rule6) triple8) -> rule3))] @2: Fred is young.[(((triple7 ((triple6 triple8) -> rule3)) -> rule1) OR ((triple7 ((((triple9 triple8) -> rule6) triple8) -> rule3)) -> rule1))] @3: Fred is cold.[(((((triple7 ((triple6 triple8) -> rule3)) -> rule1) triple9) -> rule2) OR ((((triple7 ((((triple9 triple8) -> rule6) triple8) -> rule3)) -> rule1) triple9) -> rule2))]
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple4
Fred is big.
("Fred" "is" "big" "+")
triple9
Fred is blue.
("Fred" "is" "blue" "+")
triple8
Fred is green.
("Fred" "is" "green" "+")
triple7
Fred is red.
("Fred" "is" "red" "+")
triple6
((triple9 triple8) -> (rule6 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
triple5
Alan is nice.
("Alan" "is" "nice" "+")
((triple2 triple3) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
((triple6 triple8) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
((((triple9 triple8) -> (rule6 % int2)) triple8) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
((triple7 ((triple6 triple8) -> (rule3 % int2))) -> (rule1 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
((triple7 ((((triple9 triple8) -> (rule6 % int3)) triple8) -> (rule3 % int2))) -> (rule1 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is cold.
("Fred" "is" "cold" "+")
((((triple7 ((triple6 triple8) -> (rule3 % int3))) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
((((triple7 ((((triple9 triple8) -> (rule6 % int4)) triple8) -> (rule3 % int3))) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Alan fits the description of someone who is rough, red and blue.
Bob ate some rotten meat and now feels green.
Fred is big and has rough red skin; He is blue about it and green with envy of the smaller people.
If the description of nice and green applies to somebody, the description of young will, too.
Big, young people feel cold all the time.
Someone who is both red and blue will also be a nice person.
Any human being with green, big, kind eyes, also has round eyes.
A person who exhibits nice, kind and cold characteristics will also be a rough person.
A person that is feeling blue and slightly big, is red as well.