Alan looks red to most people, with blue features. Fred was a complicated man. He was rough and red, yet nice and kind. He was as cold as he was blue. Pick someone blue, kind and big, and they are certain to be green as well. A person who is nice and green with envy is round. Red and round people are nice to others even though they are big. A big and round shaped person that is also cold will be blue in color. Kind young people that are still blue are generally round shaped. You will always find a cold, rough, red person to also be a round person. All men who happen to be red and big, will also be blue.
Alan is red.
("Alan" "is" "red" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is blue and kind and big then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and green then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and round and red then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and big and round then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and young and kind then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and rough and red then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is red and big then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
Alan is red.
True
1
proof
[(triple1)]
("Alan" "is" "red" "+")
triple1
Alan is not red.
False
1
inv-proof
[(triple1)]
("Alan" "is" "red" "-")
triple1
Fred is round.
True
4
proof
[(((triple7 triple3 triple4) -> rule6))]
("Fred" "is" "round" "+")
((triple7 triple3 triple4) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is not round.
False
4
inv-proof
[(((triple7 triple3 triple4) -> rule6))]
("Fred" "is" "round" "-")
((triple7 triple3 triple4) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is big.
True
7
proof
[(((triple5 ((triple7 triple3 triple4) -> rule6) triple4) -> rule3))]
("Fred" "is" "big" "+")
((triple5 ((triple7 triple3 triple4) -> (rule6 % int2)) triple4) -> (rule3 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is not big.
False
7
inv-proof
[(((triple5 ((triple7 triple3 triple4) -> rule6) triple4) -> rule3))]
("Fred" "is" "big" "-")
((triple5 ((triple7 triple3 triple4) -> (rule6 % int2)) triple4) -> (rule3 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is green.
True
10
proof
[(((triple8 triple6 ((triple5 ((triple7 triple3 triple4) -> rule6) triple4) -> rule3)) -> rule1) OR ((((triple4 ((triple5 ((triple7 triple3 triple4) -> rule6) triple4) -> rule3)) -> rule7) triple6 ((triple5 ((triple7 triple3 triple4) -> rule6) triple4) -> rule3)) -> rule1) OR ((((triple7 ((triple5 ((triple7 triple3 triple4) -> rule6) triple4) -> rule3) ((triple7 triple3 triple4) -> rule6)) -> rule4) triple6 ((triple5 ((triple7 triple3 triple4) -> rule6) triple4) -> rule3)) -> rule1))]
("Fred" "is" "green" "+")
((triple8 triple6 ((triple5 ((triple7 triple3 triple4) -> (rule6 % int3)) triple4) -> (rule3 % int2))) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
((((triple4 ((triple5 ((triple7 triple3 triple4) -> (rule6 % int4)) triple4) -> (rule3 % int3))) -> (rule7 % int2)) triple6 ((triple5 ((triple7 triple3 triple4) -> (rule6 % int4)) triple4) -> (rule3 % int3))) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is round.
("Fred" "is" "round" "+")
int4
((((triple7 ((triple5 ((triple7 triple3 triple4) -> (rule6 % int4)) triple4) -> (rule3 % int3)) ((triple7 triple3 triple4) -> (rule6 % int4))) -> (rule4 % int2)) triple6 ((triple5 ((triple7 triple3 triple4) -> (rule6 % int4)) triple4) -> (rule3 % int3))) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is round.
("Fred" "is" "round" "+")
int4
Fred is not green.
False
10
inv-proof
[(((triple8 triple6 ((triple5 ((triple7 triple3 triple4) -> rule6) triple4) -> rule3)) -> rule1) OR ((((triple4 ((triple5 ((triple7 triple3 triple4) -> rule6) triple4) -> rule3)) -> rule7) triple6 ((triple5 ((triple7 triple3 triple4) -> rule6) triple4) -> rule3)) -> rule1) OR ((((triple7 ((triple5 ((triple7 triple3 triple4) -> rule6) triple4) -> rule3) ((triple7 triple3 triple4) -> rule6)) -> rule4) triple6 ((triple5 ((triple7 triple3 triple4) -> rule6) triple4) -> rule3)) -> rule1))]
("Fred" "is" "green" "-")
((triple8 triple6 ((triple5 ((triple7 triple3 triple4) -> (rule6 % int3)) triple4) -> (rule3 % int2))) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
((((triple4 ((triple5 ((triple7 triple3 triple4) -> (rule6 % int4)) triple4) -> (rule3 % int3))) -> (rule7 % int2)) triple6 ((triple5 ((triple7 triple3 triple4) -> (rule6 % int4)) triple4) -> (rule3 % int3))) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is round.
("Fred" "is" "round" "+")
int4
((((triple7 ((triple5 ((triple7 triple3 triple4) -> (rule6 % int4)) triple4) -> (rule3 % int3)) ((triple7 triple3 triple4) -> (rule6 % int4))) -> (rule4 % int2)) triple6 ((triple5 ((triple7 triple3 triple4) -> (rule6 % int4)) triple4) -> (rule3 % int3))) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is round.
("Fred" "is" "round" "+")
int4
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "big" "-")
Charlie is round.
Unknown
rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "round" "+")
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "green" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "green" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Alan is blue.[(triple2)] Alan is red.[(triple1)] Fred is blue.[(triple8 OR ((triple4 ((triple5 ((triple7 triple3 triple4) -> rule6) triple4) -> rule3)) -> rule7) OR ((triple7 ((triple5 ((triple7 triple3 triple4) -> rule6) triple4) -> rule3) ((triple7 triple3 triple4) -> rule6)) -> rule4))] Fred is cold.[(triple7)] Fred is kind.[(triple6)] Fred is nice.[(triple5)] Fred is red.[(triple4)] Fred is rough.[(triple3)] @1: Fred is round.[(((triple7 triple3 triple4) -> rule6))] @2: Fred is big.[(((triple5 ((triple7 triple3 triple4) -> rule6) triple4) -> rule3))] @3: Fred is green.[(((triple8 triple6 ((triple5 ((triple7 triple3 triple4) -> rule6) triple4) -> rule3)) -> rule1) OR ((((triple4 ((triple5 ((triple7 triple3 triple4) -> rule6) triple4) -> rule3)) -> rule7) triple6 ((triple5 ((triple7 triple3 triple4) -> rule6) triple4) -> rule3)) -> rule1) OR ((((triple7 ((triple5 ((triple7 triple3 triple4) -> rule6) triple4) -> rule3) ((triple7 triple3 triple4) -> rule6)) -> rule4) triple6 ((triple5 ((triple7 triple3 triple4) -> rule6) triple4) -> rule3)) -> rule1))]
Alan is blue.
("Alan" "is" "blue" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Fred is blue.
("Fred" "is" "blue" "+")
triple8
((triple4 ((triple5 ((triple7 triple3 triple4) -> (rule6 % int3)) triple4) -> (rule3 % int2))) -> (rule7 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
((triple7 ((triple5 ((triple7 triple3 triple4) -> (rule6 % int3)) triple4) -> (rule3 % int2)) ((triple7 triple3 triple4) -> (rule6 % int3))) -> (rule4 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is cold.
("Fred" "is" "cold" "+")
triple7
Fred is kind.
("Fred" "is" "kind" "+")
triple6
Fred is nice.
("Fred" "is" "nice" "+")
triple5
Fred is red.
("Fred" "is" "red" "+")
triple4
Fred is rough.
("Fred" "is" "rough" "+")
triple3
Fred is round.
("Fred" "is" "round" "+")
((triple7 triple3 triple4) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
((triple5 ((triple7 triple3 triple4) -> (rule6 % int2)) triple4) -> (rule3 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
((triple8 triple6 ((triple5 ((triple7 triple3 triple4) -> (rule6 % int3)) triple4) -> (rule3 % int2))) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
((((triple4 ((triple5 ((triple7 triple3 triple4) -> (rule6 % int4)) triple4) -> (rule3 % int3))) -> (rule7 % int2)) triple6 ((triple5 ((triple7 triple3 triple4) -> (rule6 % int4)) triple4) -> (rule3 % int3))) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is round.
("Fred" "is" "round" "+")
int4
((((triple7 ((triple5 ((triple7 triple3 triple4) -> (rule6 % int4)) triple4) -> (rule3 % int3)) ((triple7 triple3 triple4) -> (rule6 % int4))) -> (rule4 % int2)) triple6 ((triple5 ((triple7 triple3 triple4) -> (rule6 % int4)) triple4) -> (rule3 % int3))) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is round.
("Fred" "is" "round" "+")
int4
Alan looks red to most people, with blue features.
Fred was a complicated man; He was rough and red, yet nice and kind; He was as cold as he was blue.
Pick someone blue, kind and big, and they are certain to be green as well.
A person who is nice and green with envy is round.
Red and round people are nice to others even though they are big.
A big and round shaped person that is also cold will be blue in color.
Kind young people that are still blue are generally round shaped.
You will always find a cold, rough, red person to also be a round person.
All men who happen to be red and big, will also be blue.