Alan wears all blue. From a certain angle Dave is blue but he is young so maybe that will go away. Eric had big, red, round cheeks. Fred is still young which means he can be rough and cold. He is a big boy with red hair. Someone can be young, big, and cold but green. When anyone is young, red and green, you know they'll also be blue. A big, young human being is sure to also be a green human being. Humans who are nice to others while they are young and red will also be green. Unfortunately, all the young people who are considered green are all round. A person that is the color red will definitely be round shaped. It's just a fact that a blue person is a kind person.
Alan is blue.
("Alan" "is" "blue" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is young and cold and big then they are green.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is red and young and green then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and young then they are green.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and young and red then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is green and young then they are round.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is red then they are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is blue then they are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
Dave is blue.
True
1
proof
[(triple3)]
("Dave" "is" "blue" "+")
triple3
Fred is not young.
False
1
inv-proof
[(triple7)]
("Fred" "is" "young" "-")
triple7
Fred is green.
True
3
proof
[(((triple11 triple7) -> rule3) OR ((triple7 triple10 triple11) -> rule1))]
("Fred" "is" "green" "+")
((triple11 triple7) -> (rule3 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
((triple7 triple10 triple11) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Alan is not kind.
False
2
inv-proof
[(((triple1) -> rule7))]
("Alan" "is" "kind" "-")
((triple1) -> (rule7 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Fred is blue.
True
6
proof
[(((triple9 triple7 ((triple11 triple7) -> rule3)) -> rule2) OR ((triple9 triple7 ((triple7 triple10 triple11) -> rule1)) -> rule2))]
("Fred" "is" "blue" "+")
((triple9 triple7 ((triple11 triple7) -> (rule3 % int2))) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
((triple9 triple7 ((triple7 triple10 triple11) -> (rule1 % int2))) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is not blue.
False
6
inv-proof
[(((triple9 triple7 ((triple11 triple7) -> rule3)) -> rule2) OR ((triple9 triple7 ((triple7 triple10 triple11) -> rule1)) -> rule2))]
("Fred" "is" "blue" "-")
((triple9 triple7 ((triple11 triple7) -> (rule3 % int2))) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
((triple9 triple7 ((triple7 triple10 triple11) -> (rule1 % int2))) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is kind.
True
7
proof
[(((((triple9 triple7 ((triple11 triple7) -> rule3)) -> rule2)) -> rule7) OR ((((triple9 triple7 ((triple7 triple10 triple11) -> rule1)) -> rule2)) -> rule7))]
("Fred" "is" "kind" "+")
((((triple9 triple7 ((triple11 triple7) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
((((triple9 triple7 ((triple7 triple10 triple11) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Fred is not kind.
False
7
inv-proof
[(((((triple9 triple7 ((triple11 triple7) -> rule3)) -> rule2)) -> rule7) OR ((((triple9 triple7 ((triple7 triple10 triple11) -> rule1)) -> rule2)) -> rule7))]
("Fred" "is" "kind" "-")
((((triple9 triple7 ((triple11 triple7) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
((((triple9 triple7 ((triple7 triple10 triple11) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Eric is not kind.
Unknown
inv-rconc
[@2: Eric is kind.[CWA. Example of deepest failure = (rule7 <- rule2 <- FAIL)]]
("Eric" "is" "kind" "-")
Eric is blue.
Unknown
rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "blue" "+")
Alan is not green.
Unknown
inv-rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "green" "-")
Eric is green.
Unknown
rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "green" "+")
Fred is not nice.
Unknown
inv-random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
Alan is not cold.
Unknown
inv-random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "-")
Eric is cold.
Unknown
random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "+")
@0: Alan is blue.[(triple1)] Dave is blue.[(triple3)] Dave is young.[(triple2)] Eric is big.[(triple6)] Eric is red.[(triple5)] Eric is round.[(triple4 OR ((triple5) -> rule6))] Fred is big.[(triple11)] Fred is cold.[(triple10)] Fred is red.[(triple9)] Fred is rough.[(triple8)] Fred is young.[(triple7)] @1: Alan is kind.[(((triple1) -> rule7))] Dave is kind.[(((triple3) -> rule7))] Fred is green.[(((triple11 triple7) -> rule3) OR ((triple7 triple10 triple11) -> rule1))] Fred is round.[(((triple9) -> rule6) OR ((((triple11 triple7) -> rule3) triple7) -> rule5) OR ((((triple7 triple10 triple11) -> rule1) triple7) -> rule5))] @2: Fred is blue.[(((triple9 triple7 ((triple11 triple7) -> rule3)) -> rule2) OR ((triple9 triple7 ((triple7 triple10 triple11) -> rule1)) -> rule2))] @3: Fred is kind.[(((((triple9 triple7 ((triple11 triple7) -> rule3)) -> rule2)) -> rule7) OR ((((triple9 triple7 ((triple7 triple10 triple11) -> rule1)) -> rule2)) -> rule7))]
Alan is blue.
("Alan" "is" "blue" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple3
Dave is young.
("Dave" "is" "young" "+")
triple2
Eric is big.
("Eric" "is" "big" "+")
triple6
Eric is red.
("Eric" "is" "red" "+")
triple5
Eric is round.
("Eric" "is" "round" "+")
triple4
((triple5) -> (rule6 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
triple11
Fred is cold.
("Fred" "is" "cold" "+")
triple10
Fred is red.
("Fred" "is" "red" "+")
triple9
Fred is rough.
("Fred" "is" "rough" "+")
triple8
Fred is young.
("Fred" "is" "young" "+")
triple7
Alan is kind.
("Alan" "is" "kind" "+")
((triple1) -> (rule7 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
((triple3) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
((triple11 triple7) -> (rule3 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
((triple7 triple10 triple11) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
((triple9) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
((((triple11 triple7) -> (rule3 % int2)) triple7) -> (rule5 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
((((triple7 triple10 triple11) -> (rule1 % int2)) triple7) -> (rule5 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
((triple9 triple7 ((triple11 triple7) -> (rule3 % int2))) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
((triple9 triple7 ((triple7 triple10 triple11) -> (rule1 % int2))) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
((((triple9 triple7 ((triple11 triple7) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
((((triple9 triple7 ((triple7 triple10 triple11) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Alan wears all blue.
From a certain angle Dave is blue but he is young so maybe that will go away.
Eric had big, red, round cheeks.
Fred is still young which means he can be rough and cold; He is a big boy with red hair.
Someone can be young, big, and cold but green.
When anyone is young, red and green, you know they'll also be blue.
A big, young human being is sure to also be a green human being.
Humans who are nice to others while they are young and red will also be green.
Unfortunately, all the young people who are considered green are all round.
A person that is the color red will definitely be round shaped.
It's just a fact that a blue person is a kind person.