Bob ate some rotten meat and now feels green. Even though Charlie is rough, he nice but cold and blue. Dave can be cold and rough, but also can be nice and kind. Either way, he's big and round. In the snow sits Eric, crying from being cold. A person who is cold but red, and big in size is young for sure. It's impossible for someone to be red, big, and cold without them also being kind. A cold person, who is kind in nature and young in years, is round. A big person that is tattooed blue will be very nice. Blue people round with fat are red from too much time in the sun. I believe that red, cold, rough people are likely to be green. Someone who is big and kind is blue.
If someone is red and big and cold then they are young.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is red and big and cold then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and kind and young then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is big and blue then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and round then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and red and cold then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and big then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
Dave is round.
True
1
proof
[(triple6)]
("Dave" "is" "round" "+")
triple6
Bob is not green.
False
1
inv-proof
[(triple1)]
("Bob" "is" "green" "-")
triple1
Dave is blue.
True
3
proof
[(((triple9 triple11) -> rule7))]
("Dave" "is" "blue" "+")
((triple9 triple11) -> (rule7 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is not blue.
False
3
inv-proof
[(((triple9 triple11) -> rule7))]
("Dave" "is" "blue" "-")
((triple9 triple11) -> (rule7 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
True
5
proof
[(((((triple9 triple11) -> rule7) triple6) -> rule5))]
("Dave" "is" "red" "+")
((((triple9 triple11) -> (rule7 % int2)) triple6) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is not red.
False
5
inv-proof
[(((((triple9 triple11) -> rule7) triple6) -> rule5))]
("Dave" "is" "red" "-")
((((triple9 triple11) -> (rule7 % int2)) triple6) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is young.
True
8
proof
[(((((((triple9 triple11) -> rule7) triple6) -> rule5) triple11 triple10) -> rule1))]
("Dave" "is" "young" "+")
((((((triple9 triple11) -> (rule7 % int3)) triple6) -> (rule5 % int2)) triple11 triple10) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is not green.
False
8
inv-proof
[(((triple7 ((((triple9 triple11) -> rule7) triple6) -> rule5) triple10) -> rule6))]
("Dave" "is" "green" "-")
((triple7 ((((triple9 triple11) -> (rule7 % int3)) triple6) -> (rule5 % int2)) triple10) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Eric is not round.
Unknown
inv-rconc
[@2: Eric is round.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Eric" "is" "round" "-")
Bob is kind.
Unknown
rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "kind" "+")
Eric is not young.
Unknown
inv-rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "young" "-")
Charlie is red.
Unknown
rconc
[@3: Charlie is red.[CWA. Example of deepest failure = (rule5 <- rule3 <- rule2 <- FAIL)]]
("Charlie" "is" "red" "+")
Eric is not big.
Unknown
inv-random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
@0: Bob is green.[(triple1)] Charlie is blue.[(triple5)] Charlie is cold.[(triple4)] Charlie is nice.[(triple3)] Charlie is rough.[(triple2)] Dave is big.[(triple11)] Dave is cold.[(triple10)] Dave is kind.[(triple9)] Dave is nice.[(triple8 OR ((triple11 ((triple9 triple11) -> rule7)) -> rule4))] Dave is rough.[(triple7)] Dave is round.[(triple6)] Eric is cold.[(triple12)] @1: Dave is blue.[(((triple9 triple11) -> rule7))] @2: Dave is red.[(((((triple9 triple11) -> rule7) triple6) -> rule5))] @3: Dave is green.[(((triple7 ((((triple9 triple11) -> rule7) triple6) -> rule5) triple10) -> rule6))] Dave is young.[(((((((triple9 triple11) -> rule7) triple6) -> rule5) triple11 triple10) -> rule1))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Dave is big.
("Dave" "is" "big" "+")
triple11
Dave is cold.
("Dave" "is" "cold" "+")
triple10
Dave is kind.
("Dave" "is" "kind" "+")
triple9
Dave is nice.
("Dave" "is" "nice" "+")
triple8
((triple11 ((triple9 triple11) -> (rule7 % int2))) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
triple7
Dave is round.
("Dave" "is" "round" "+")
triple6
Eric is cold.
("Eric" "is" "cold" "+")
triple12
Dave is blue.
("Dave" "is" "blue" "+")
((triple9 triple11) -> (rule7 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((((triple9 triple11) -> (rule7 % int2)) triple6) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
((triple7 ((((triple9 triple11) -> (rule7 % int3)) triple6) -> (rule5 % int2)) triple10) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
((((((triple9 triple11) -> (rule7 % int3)) triple6) -> (rule5 % int2)) triple11 triple10) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Bob ate some rotten meat and now feels green.
Even though Charlie is rough, he nice but cold and blue.
Dave can be cold and rough, but also can be nice and kind; Either way, he's big and round.
In the snow sits Eric, crying from being cold.
A person who is cold but red, and big in size is young for sure.
It's impossible for someone to be red, big, and cold without them also being kind.
A cold person, who is kind in nature and young in years, is round.
A big person that is tattooed blue will be very nice.
Blue people round with fat are red from too much time in the sun.
I believe that red, cold, rough people are likely to be green.
Someone who is big and kind is blue.