Even though Alan is big and rough, he is nice. Alan often is blue and green with envy. Eric was born only a few years ago so he is young. My friend Fred is very young. People say he is nice for having a round shape. Others enjoy Harry's company because he is so nice and kind. People who are red and round are usually assumed to be green. People who are nice and big and red are green. Every time I see a young blue nice person I know they are also red. Kind people,though green,tend to be nice. People who are red, young, and round are also blue. If a nice person is round shaped, they feel blue about it. All nice people are young.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Alan is big.
("Alan" "is" "big" "+")
Eric is young.
("Eric" "is" "young" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is red and round then they are green.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and big and red then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and young and blue then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and green then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and red and young then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and round then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice then they are young.
((("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
Fred is young.
True
1
proof
[(triple7 OR ((triple9) -> rule7))]
("Fred" "is" "young" "+")
triple7
((triple9) -> (rule7 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Eric is not young.
False
1
inv-proof
[(triple6)]
("Eric" "is" "young" "-")
triple6
Harry is young.
True
2
proof
[(((triple10) -> rule7))]
("Harry" "is" "young" "+")
((triple10) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is not young.
False
2
inv-proof
[(((triple10) -> rule7))]
("Harry" "is" "young" "-")
((triple10) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Alan is red.
True
5
proof
[(((triple2 ((triple2) -> rule7) triple4) -> rule3))]
("Alan" "is" "red" "+")
((triple2 ((triple2) -> (rule7 % int2)) triple4) -> (rule3 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is not red.
False
5
inv-proof
[(((triple2 ((triple2) -> rule7) triple4) -> rule3))]
("Alan" "is" "red" "-")
((triple2 ((triple2) -> (rule7 % int2)) triple4) -> (rule3 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Fred is green.
True
8
proof
[(((((triple9 triple7 ((triple9 triple8) -> rule6)) -> rule3) triple8) -> rule1) OR ((((triple9 ((triple9) -> rule7) ((triple9 triple8) -> rule6)) -> rule3) triple8) -> rule1))]
("Fred" "is" "green" "+")
((((triple9 triple7 ((triple9 triple8) -> (rule6 % int3))) -> (rule3 % int2)) triple8) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
((((triple9 ((triple9) -> (rule7 % int4)) ((triple9 triple8) -> (rule6 % int3))) -> (rule3 % int2)) triple8) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is young.
("Fred" "is" "young" "+")
int4
Fred is not green.
False
8
inv-proof
[(((((triple9 triple7 ((triple9 triple8) -> rule6)) -> rule3) triple8) -> rule1) OR ((((triple9 ((triple9) -> rule7) ((triple9 triple8) -> rule6)) -> rule3) triple8) -> rule1))]
("Fred" "is" "green" "-")
((((triple9 triple7 ((triple9 triple8) -> (rule6 % int3))) -> (rule3 % int2)) triple8) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
((((triple9 ((triple9) -> (rule7 % int4)) ((triple9 triple8) -> (rule6 % int3))) -> (rule3 % int2)) triple8) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is young.
("Fred" "is" "young" "+")
int4
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "green" "-")
Eric is nice.
Unknown
rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "nice" "+")
Eric is not red.
Unknown
inv-rconc
[@2: Eric is red.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Eric" "is" "red" "-")
Harry is red.
Unknown
rconc
[@2: Harry is red.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Harry" "is" "red" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Eric is cold.
Unknown
random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Alan is cold.
Unknown
random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "+")
@0: Alan is big.[(triple5)] Alan is blue.[(triple4)] Alan is green.[(triple3 OR ((triple2 triple5 ((triple2 ((triple2) -> rule7) triple4) -> rule3)) -> rule2))] Alan is nice.[(triple2)] Alan is rough.[(triple1)] Eric is young.[(triple6)] Fred is nice.[(triple9)] Fred is round.[(triple8)] Fred is young.[(triple7 OR ((triple9) -> rule7))] Harry is kind.[(triple11)] Harry is nice.[(triple10)] @1: Alan is young.[(((triple2) -> rule7))] Fred is blue.[(((triple9 triple8) -> rule6))] Harry is young.[(((triple10) -> rule7))] @2: Alan is red.[(((triple2 ((triple2) -> rule7) triple4) -> rule3))] Fred is red.[(((triple9 triple7 ((triple9 triple8) -> rule6)) -> rule3) OR ((triple9 ((triple9) -> rule7) ((triple9 triple8) -> rule6)) -> rule3))] @3: Fred is green.[(((((triple9 triple7 ((triple9 triple8) -> rule6)) -> rule3) triple8) -> rule1) OR ((((triple9 ((triple9) -> rule7) ((triple9 triple8) -> rule6)) -> rule3) triple8) -> rule1))]
Alan is big.
("Alan" "is" "big" "+")
triple5
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is green.
("Alan" "is" "green" "+")
triple3
((triple2 triple5 ((triple2 ((triple2) -> (rule7 % int3)) triple4) -> (rule3 % int2))) -> (rule2 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Eric is young.
("Eric" "is" "young" "+")
triple6
Fred is nice.
("Fred" "is" "nice" "+")
triple9
Fred is round.
("Fred" "is" "round" "+")
triple8
Fred is young.
("Fred" "is" "young" "+")
triple7
((triple9) -> (rule7 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Alan is young.
("Alan" "is" "young" "+")
((triple2) -> (rule7 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
((triple9 triple8) -> (rule6 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple10) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
((triple2 ((triple2) -> (rule7 % int2)) triple4) -> (rule3 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
((triple9 triple7 ((triple9 triple8) -> (rule6 % int2))) -> (rule3 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
((triple9 ((triple9) -> (rule7 % int3)) ((triple9 triple8) -> (rule6 % int2))) -> (rule3 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Fred is green.
("Fred" "is" "green" "+")
((((triple9 triple7 ((triple9 triple8) -> (rule6 % int3))) -> (rule3 % int2)) triple8) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
((((triple9 ((triple9) -> (rule7 % int4)) ((triple9 triple8) -> (rule6 % int3))) -> (rule3 % int2)) triple8) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is young.
("Fred" "is" "young" "+")
int4
Even though Alan is big and rough, he is nice; Alan often is blue and green with envy.
Eric was born only a few years ago so he is young.
My friend Fred is very young; People say he is nice for having a round shape.
Others enjoy Harry's company because he is so nice and kind.
People who are red and round are usually assumed to be green.
People who are nice and big and red are green.
Every time I see a young blue nice person I know they are also red.
Kind people,though green,tend to be nice.
People who are red, young, and round are also blue.
If a nice person is round shaped, they feel blue about it.
All nice people are young.