They always call him rough Bob. Dave is green, which is a possible explanation for why he is so nice. Blue and green, cold but kind, young Fred is also quite round. Even though Harry is green with envy he is nice with rosy red cheeks. Watch out for the rough and round kind people for they cold to others. Rough and kind people are big. Someone with rough, big traits will be a green person, as well. People blue with cold are definitely green and new in these parts. People that are big but also green, may ultimately be very nice. It's always true that round, kind people are rough as well. Most big and kind people,though young,are often blue.
Bob is rough.
("Bob" "is" "rough" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is green.
("Dave" "is" "green" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is rough and round and kind then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and kind then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and big then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and cold then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is big and green then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and kind then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and kind and young then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Bob is rough.
True
1
proof
[(triple1)]
("Bob" "is" "rough" "+")
triple1
Harry is not green.
False
1
inv-proof
[(triple12)]
("Harry" "is" "green" "-")
triple12
Fred is rough.
True
3
proof
[(((triple5 triple6) -> rule6))]
("Fred" "is" "rough" "+")
((triple5 triple6) -> (rule6 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is not rough.
False
3
inv-proof
[(((triple5 triple6) -> rule6))]
("Fred" "is" "rough" "-")
((triple5 triple6) -> (rule6 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is big.
True
5
proof
[(((((triple5 triple6) -> rule6) triple6) -> rule2))]
("Fred" "is" "big" "+")
((((triple5 triple6) -> (rule6 % int2)) triple6) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is not big.
False
5
inv-proof
[(((((triple5 triple6) -> rule6) triple6) -> rule2))]
("Fred" "is" "big" "-")
((((triple5 triple6) -> (rule6 % int2)) triple6) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is nice.
True
7
proof
[(((((((triple5 triple6) -> rule6) triple6) -> rule2) triple7) -> rule5) OR ((((((triple5 triple6) -> rule6) triple6) -> rule2) ((triple9 triple8) -> rule4)) -> rule5) OR ((((((triple5 triple6) -> rule6) triple6) -> rule2) ((triple9 ((((triple5 triple6) -> rule6) triple5 triple6) -> rule1)) -> rule4)) -> rule5) OR ((((((triple5 triple6) -> rule6) triple6) -> rule2) ((((triple5 triple6) -> rule6) ((((triple5 triple6) -> rule6) triple6) -> rule2)) -> rule3)) -> rule5) OR ((((((triple5 triple6) -> rule6) triple6) -> rule2) ((((((((triple5 triple6) -> rule6) triple6) -> rule2) triple6 triple4) -> rule7) triple8) -> rule4)) -> rule5) OR ((((((triple5 triple6) -> rule6) triple6) -> rule2) ((((((((triple5 triple6) -> rule6) triple6) -> rule2) triple6 triple4) -> rule7) ((((triple5 triple6) -> rule6) triple5 triple6) -> rule1)) -> rule4)) -> rule5))]
("Fred" "is" "nice" "+")
((((((triple5 triple6) -> (rule6 % int3)) triple6) -> (rule2 % int2)) triple7) -> (rule5 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
((((((triple5 triple6) -> (rule6 % int4)) triple6) -> (rule2 % int3)) ((triple9 triple8) -> (rule4 % int2))) -> (rule5 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
((((((triple5 triple6) -> (rule6 % int5)) triple6) -> (rule2 % int4)) ((triple9 ((((triple5 triple6) -> (rule6 % int5)) triple5 triple6) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is big.
("Fred" "is" "big" "+")
int4
Fred is rough.
("Fred" "is" "rough" "+")
int5
((((((triple5 triple6) -> (rule6 % int4)) triple6) -> (rule2 % int3)) ((((triple5 triple6) -> (rule6 % int4)) ((((triple5 triple6) -> (rule6 % int4)) triple6) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
((((((triple5 triple6) -> (rule6 % int5)) triple6) -> (rule2 % int4)) ((((((((triple5 triple6) -> (rule6 % int5)) triple6) -> (rule2 % int4)) triple6 triple4) -> (rule7 % int3)) triple8) -> (rule4 % int2))) -> (rule5 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is big.
("Fred" "is" "big" "+")
int4
Fred is rough.
("Fred" "is" "rough" "+")
int5
((((((triple5 triple6) -> (rule6 % int6)) triple6) -> (rule2 % int5)) ((((((((triple5 triple6) -> (rule6 % int6)) triple6) -> (rule2 % int5)) triple6 triple4) -> (rule7 % int4)) ((((triple5 triple6) -> (rule6 % int6)) triple5 triple6) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
Fred is big.
("Fred" "is" "big" "+")
int5
Fred is rough.
("Fred" "is" "rough" "+")
int6
Fred is not nice.
False
7
inv-proof
[(((((((triple5 triple6) -> rule6) triple6) -> rule2) triple7) -> rule5) OR ((((((triple5 triple6) -> rule6) triple6) -> rule2) ((triple9 triple8) -> rule4)) -> rule5) OR ((((((triple5 triple6) -> rule6) triple6) -> rule2) ((triple9 ((((triple5 triple6) -> rule6) triple5 triple6) -> rule1)) -> rule4)) -> rule5) OR ((((((triple5 triple6) -> rule6) triple6) -> rule2) ((((triple5 triple6) -> rule6) ((((triple5 triple6) -> rule6) triple6) -> rule2)) -> rule3)) -> rule5) OR ((((((triple5 triple6) -> rule6) triple6) -> rule2) ((((((((triple5 triple6) -> rule6) triple6) -> rule2) triple6 triple4) -> rule7) triple8) -> rule4)) -> rule5) OR ((((((triple5 triple6) -> rule6) triple6) -> rule2) ((((((((triple5 triple6) -> rule6) triple6) -> rule2) triple6 triple4) -> rule7) ((((triple5 triple6) -> rule6) triple5 triple6) -> rule1)) -> rule4)) -> rule5))]
("Fred" "is" "nice" "-")
((((((triple5 triple6) -> (rule6 % int3)) triple6) -> (rule2 % int2)) triple7) -> (rule5 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
((((((triple5 triple6) -> (rule6 % int4)) triple6) -> (rule2 % int3)) ((triple9 triple8) -> (rule4 % int2))) -> (rule5 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
((((((triple5 triple6) -> (rule6 % int5)) triple6) -> (rule2 % int4)) ((triple9 ((((triple5 triple6) -> (rule6 % int5)) triple5 triple6) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is big.
("Fred" "is" "big" "+")
int4
Fred is rough.
("Fred" "is" "rough" "+")
int5
((((((triple5 triple6) -> (rule6 % int4)) triple6) -> (rule2 % int3)) ((((triple5 triple6) -> (rule6 % int4)) ((((triple5 triple6) -> (rule6 % int4)) triple6) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
((((((triple5 triple6) -> (rule6 % int5)) triple6) -> (rule2 % int4)) ((((((((triple5 triple6) -> (rule6 % int5)) triple6) -> (rule2 % int4)) triple6 triple4) -> (rule7 % int3)) triple8) -> (rule4 % int2))) -> (rule5 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is big.
("Fred" "is" "big" "+")
int4
Fred is rough.
("Fred" "is" "rough" "+")
int5
((((((triple5 triple6) -> (rule6 % int6)) triple6) -> (rule2 % int5)) ((((((((triple5 triple6) -> (rule6 % int6)) triple6) -> (rule2 % int5)) triple6 triple4) -> (rule7 % int4)) ((((triple5 triple6) -> (rule6 % int6)) triple5 triple6) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
Fred is big.
("Fred" "is" "big" "+")
int5
Fred is rough.
("Fred" "is" "rough" "+")
int6
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "cold" "-")
Harry is rough.
Unknown
rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "rough" "+")
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Harry" "is" "blue" "-")
Bob is big.
Unknown
rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "big" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Bob is rough.[(triple1)] Dave is green.[(triple3)] Dave is nice.[(triple2)] Fred is blue.[(triple9 OR ((((((triple5 triple6) -> rule6) triple6) -> rule2) triple6 triple4) -> rule7))] Fred is cold.[(triple8 OR ((((triple5 triple6) -> rule6) triple5 triple6) -> rule1))] Fred is green.[(triple7 OR ((triple9 triple8) -> rule4) OR ((triple9 ((((triple5 triple6) -> rule6) triple5 triple6) -> rule1)) -> rule4) OR ((((triple5 triple6) -> rule6) ((((triple5 triple6) -> rule6) triple6) -> rule2)) -> rule3) OR ((((((((triple5 triple6) -> rule6) triple6) -> rule2) triple6 triple4) -> rule7) triple8) -> rule4) OR ((((((((triple5 triple6) -> rule6) triple6) -> rule2) triple6 triple4) -> rule7) ((((triple5 triple6) -> rule6) triple5 triple6) -> rule1)) -> rule4))] Fred is kind.[(triple6)] Fred is round.[(triple5)] Fred is young.[(triple4)] Harry is green.[(triple12)] Harry is nice.[(triple11)] Harry is red.[(triple10)] @1: Fred is rough.[(((triple5 triple6) -> rule6))] @2: Fred is big.[(((((triple5 triple6) -> rule6) triple6) -> rule2))] @3: Fred is nice.[(((((((triple5 triple6) -> rule6) triple6) -> rule2) triple7) -> rule5) OR ((((((triple5 triple6) -> rule6) triple6) -> rule2) ((triple9 triple8) -> rule4)) -> rule5) OR ((((((triple5 triple6) -> rule6) triple6) -> rule2) ((triple9 ((((triple5 triple6) -> rule6) triple5 triple6) -> rule1)) -> rule4)) -> rule5) OR ((((((triple5 triple6) -> rule6) triple6) -> rule2) ((((triple5 triple6) -> rule6) ((((triple5 triple6) -> rule6) triple6) -> rule2)) -> rule3)) -> rule5) OR ((((((triple5 triple6) -> rule6) triple6) -> rule2) ((((((((triple5 triple6) -> rule6) triple6) -> rule2) triple6 triple4) -> rule7) triple8) -> rule4)) -> rule5) OR ((((((triple5 triple6) -> rule6) triple6) -> rule2) ((((((((triple5 triple6) -> rule6) triple6) -> rule2) triple6 triple4) -> rule7) ((((triple5 triple6) -> rule6) triple5 triple6) -> rule1)) -> rule4)) -> rule5))]
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is nice.
("Dave" "is" "nice" "+")
triple2
Fred is blue.
("Fred" "is" "blue" "+")
triple9
((((((triple5 triple6) -> (rule6 % int3)) triple6) -> (rule2 % int2)) triple6 triple4) -> (rule7 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is cold.
("Fred" "is" "cold" "+")
triple8
((((triple5 triple6) -> (rule6 % int2)) triple5 triple6) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
triple7
((triple9 triple8) -> (rule4 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
((triple9 ((((triple5 triple6) -> (rule6 % int3)) triple5 triple6) -> (rule1 % int2))) -> (rule4 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
((((triple5 triple6) -> (rule6 % int3)) ((((triple5 triple6) -> (rule6 % int3)) triple6) -> (rule2 % int2))) -> (rule3 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
((((((((triple5 triple6) -> (rule6 % int4)) triple6) -> (rule2 % int3)) triple6 triple4) -> (rule7 % int2)) triple8) -> (rule4 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
((((((((triple5 triple6) -> (rule6 % int5)) triple6) -> (rule2 % int4)) triple6 triple4) -> (rule7 % int3)) ((((triple5 triple6) -> (rule6 % int5)) triple5 triple6) -> (rule1 % int2))) -> (rule4 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is big.
("Fred" "is" "big" "+")
int4
Fred is rough.
("Fred" "is" "rough" "+")
int5
Fred is kind.
("Fred" "is" "kind" "+")
triple6
Fred is round.
("Fred" "is" "round" "+")
triple5
Fred is young.
("Fred" "is" "young" "+")
triple4
Harry is green.
("Harry" "is" "green" "+")
triple12
Harry is nice.
("Harry" "is" "nice" "+")
triple11
Harry is red.
("Harry" "is" "red" "+")
triple10
Fred is rough.
("Fred" "is" "rough" "+")
((triple5 triple6) -> (rule6 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
((((triple5 triple6) -> (rule6 % int2)) triple6) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
((((((triple5 triple6) -> (rule6 % int3)) triple6) -> (rule2 % int2)) triple7) -> (rule5 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
((((((triple5 triple6) -> (rule6 % int4)) triple6) -> (rule2 % int3)) ((triple9 triple8) -> (rule4 % int2))) -> (rule5 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
((((((triple5 triple6) -> (rule6 % int5)) triple6) -> (rule2 % int4)) ((triple9 ((((triple5 triple6) -> (rule6 % int5)) triple5 triple6) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is big.
("Fred" "is" "big" "+")
int4
Fred is rough.
("Fred" "is" "rough" "+")
int5
((((((triple5 triple6) -> (rule6 % int4)) triple6) -> (rule2 % int3)) ((((triple5 triple6) -> (rule6 % int4)) ((((triple5 triple6) -> (rule6 % int4)) triple6) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
((((((triple5 triple6) -> (rule6 % int5)) triple6) -> (rule2 % int4)) ((((((((triple5 triple6) -> (rule6 % int5)) triple6) -> (rule2 % int4)) triple6 triple4) -> (rule7 % int3)) triple8) -> (rule4 % int2))) -> (rule5 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is big.
("Fred" "is" "big" "+")
int4
Fred is rough.
("Fred" "is" "rough" "+")
int5
((((((triple5 triple6) -> (rule6 % int6)) triple6) -> (rule2 % int5)) ((((((((triple5 triple6) -> (rule6 % int6)) triple6) -> (rule2 % int5)) triple6 triple4) -> (rule7 % int4)) ((((triple5 triple6) -> (rule6 % int6)) triple5 triple6) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
Fred is big.
("Fred" "is" "big" "+")
int5
Fred is rough.
("Fred" "is" "rough" "+")
int6
They always call him rough Bob.
Dave is green, which is a possible explanation for why he is so nice.
Blue and green, cold but kind, young Fred is also quite round.
Even though Harry is green with envy he is nice with rosy red cheeks.
Watch out for the rough and round kind people for they cold to others.
Rough and kind people are big.
Someone with rough, big traits will be a green person, as well.
People blue with cold are definitely green and new in these parts.
People that are big but also green, may ultimately be very nice.
It's always true that round, kind people are rough as well.
Most big and kind people,though young,are often blue.