Big Bob is nice and red with sunburn and green hair. Dave is a person both green and big. Fred was born only a few years ago so he is young. Harry always goes out of his way to show that he is kind to people. I've been told that big, nice people are very rough. You will probably see that big, round, blue people are green, too. If someone is green skinned and has a big nose then you'll find that they often are nice to their family. Anybody with big, rough and nice qualities is bound to also be young. A green person that is cold is often considered to be red. Nice people who are big are always cold because they can't find space near the heater. I have noticed that nice people that are green and blue are often round-shaped.
Bob is red.
("Bob" "is" "red" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is big.
("Dave" "is" "big" "+")
Fred is young.
("Fred" "is" "young" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is big and nice then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and big and blue then they are green.
((("someone" "is" "round" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is green and big then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and rough and nice then they are young.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is green and cold then they are red.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is big and nice then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and green and blue then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
Fred is young.
True
1
proof
[(triple7)]
("Fred" "is" "young" "+")
triple7
Dave is not green.
False
1
inv-proof
[(triple5)]
("Dave" "is" "green" "-")
triple5
Dave is nice.
True
3
proof
[(((triple5 triple6) -> rule3))]
("Dave" "is" "nice" "+")
((triple5 triple6) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is not nice.
False
3
inv-proof
[(((triple5 triple6) -> rule3))]
("Dave" "is" "nice" "-")
((triple5 triple6) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is cold.
True
5
proof
[(((triple6 ((triple5 triple6) -> rule3)) -> rule6))]
("Dave" "is" "cold" "+")
((triple6 ((triple5 triple6) -> (rule3 % int2))) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is not rough.
False
5
inv-proof
[(((triple6 ((triple5 triple6) -> rule3)) -> rule1))]
("Dave" "is" "rough" "-")
((triple6 ((triple5 triple6) -> (rule3 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is young.
True
10
proof
[(((triple6 ((triple6 ((triple5 triple6) -> rule3)) -> rule1) ((triple5 triple6) -> rule3)) -> rule4))]
("Dave" "is" "young" "+")
((triple6 ((triple6 ((triple5 triple6) -> (rule3 % int3))) -> (rule1 % int2)) ((triple5 triple6) -> (rule3 % int3))) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is not young.
False
10
inv-proof
[(((triple6 ((triple6 ((triple5 triple6) -> rule3)) -> rule1) ((triple5 triple6) -> rule3)) -> rule4))]
("Dave" "is" "young" "-")
((triple6 ((triple6 ((triple5 triple6) -> (rule3 % int3))) -> (rule1 % int2)) ((triple5 triple6) -> (rule3 % int3))) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "green" "-")
Fred is cold.
Unknown
rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "cold" "+")
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "nice" "-")
Harry is cold.
Unknown
rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "cold" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Fred is big.
Unknown
random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "+")
@0: Bob is big.[(triple4)] Bob is green.[(triple3)] Bob is nice.[(triple2 OR ((triple3 triple4) -> rule3))] Bob is red.[(triple1 OR ((triple3 ((triple4 triple2) -> rule6)) -> rule5) OR ((triple3 ((triple4 ((triple3 triple4) -> rule3)) -> rule6)) -> rule5))] Dave is big.[(triple6)] Dave is green.[(triple5)] Fred is young.[(triple7)] Harry is kind.[(triple8)] @1: Bob is cold.[(((triple4 triple2) -> rule6) OR ((triple4 ((triple3 triple4) -> rule3)) -> rule6))] Bob is rough.[(((triple4 triple2) -> rule1) OR ((triple4 ((triple3 triple4) -> rule3)) -> rule1))] Dave is nice.[(((triple5 triple6) -> rule3))] @2: Bob is young.[(((triple4 ((triple4 triple2) -> rule1) triple2) -> rule4) OR ((triple4 ((triple4 triple2) -> rule1) ((triple3 triple4) -> rule3)) -> rule4) OR ((triple4 ((triple4 ((triple3 triple4) -> rule3)) -> rule1) triple2) -> rule4) OR ((triple4 ((triple4 ((triple3 triple4) -> rule3)) -> rule1) ((triple3 triple4) -> rule3)) -> rule4))] Dave is cold.[(((triple6 ((triple5 triple6) -> rule3)) -> rule6))] Dave is rough.[(((triple6 ((triple5 triple6) -> rule3)) -> rule1))] @3: Dave is red.[(((triple5 ((triple6 ((triple5 triple6) -> rule3)) -> rule6)) -> rule5))] Dave is young.[(((triple6 ((triple6 ((triple5 triple6) -> rule3)) -> rule1) ((triple5 triple6) -> rule3)) -> rule4))]
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple2
((triple3 triple4) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
triple1
((triple3 ((triple4 triple2) -> (rule6 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((triple3 ((triple4 ((triple3 triple4) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is green.
("Dave" "is" "green" "+")
triple5
Fred is young.
("Fred" "is" "young" "+")
triple7
Harry is kind.
("Harry" "is" "kind" "+")
triple8
Bob is cold.
("Bob" "is" "cold" "+")
((triple4 triple2) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((triple4 ((triple3 triple4) -> (rule3 % int2))) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
((triple4 triple2) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
((triple4 ((triple3 triple4) -> (rule3 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
((triple5 triple6) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((triple4 ((triple4 triple2) -> (rule1 % int2)) triple2) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((triple4 ((triple4 triple2) -> (rule1 % int3)) ((triple3 triple4) -> (rule3 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((triple4 ((triple4 ((triple3 triple4) -> (rule3 % int3))) -> (rule1 % int2)) triple2) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((triple4 ((triple4 ((triple3 triple4) -> (rule3 % int3))) -> (rule1 % int2)) ((triple3 triple4) -> (rule3 % int3))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
((triple6 ((triple5 triple6) -> (rule3 % int2))) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
((triple6 ((triple5 triple6) -> (rule3 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
((triple5 ((triple6 ((triple5 triple6) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
((triple6 ((triple6 ((triple5 triple6) -> (rule3 % int3))) -> (rule1 % int2)) ((triple5 triple6) -> (rule3 % int3))) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Big Bob is nice and red with sunburn and green hair.
Dave is a person both green and big.
Fred was born only a few years ago so he is young.
Harry always goes out of his way to show that he is kind to people.
I've been told that big, nice people are very rough.
You will probably see that big, round, blue people are green, too.
If someone is green skinned and has a big nose then you'll find that they often are nice to their family.
Anybody with big, rough and nice qualities is bound to also be young.
A green person that is cold is often considered to be red.
Nice people who are big are always cold because they can't find space near the heater.
I have noticed that nice people that are green and blue are often round-shaped.