That guy Bob is big, but he's always kind to little ones. Dave is round shaped and green colored. In the snow sits Eric, crying from being cold. Harry, a green man, was also big, but underneath he was kind. A big, blue person who is kind is also round. A person that is blue green and nice are that way because they are still young. Anyone who's got young, round and big traits is bound to have a red trait, too. A blue and round human being will also be a green human being. A person that is known to be big and rough is also green, they will feel blue about it. People that are big but also green, may ultimately be very nice. Green people who are nice are rough.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is green.
("Dave" "is" "green" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is blue and kind and big then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and green and nice then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is young and big and round then they are red.
((("someone" "is" "young" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and round then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is big and rough and green then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and green then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
Harry is kind.
True
1
proof
[(triple6)]
("Harry" "is" "kind" "+")
triple6
Dave is not round.
False
1
inv-proof
[(triple3)]
("Dave" "is" "round" "-")
triple3
Harry is nice.
True
3
proof
[(((triple8 triple7) -> rule6))]
("Harry" "is" "nice" "+")
((triple8 triple7) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is not nice.
False
3
inv-proof
[(((triple8 triple7) -> rule6))]
("Harry" "is" "nice" "-")
((triple8 triple7) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is rough.
True
5
proof
[(((((triple8 triple7) -> rule6) triple7) -> rule7))]
("Harry" "is" "rough" "+")
((((triple8 triple7) -> (rule6 % int2)) triple7) -> (rule7 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is not rough.
False
5
inv-proof
[(((((triple8 triple7) -> rule6) triple7) -> rule7))]
("Harry" "is" "rough" "-")
((((triple8 triple7) -> (rule6 % int2)) triple7) -> (rule7 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is blue.
True
8
proof
[(((triple8 ((((triple8 triple7) -> rule6) triple7) -> rule7) triple7) -> rule5))]
("Harry" "is" "blue" "+")
((triple8 ((((triple8 triple7) -> (rule6 % int3)) triple7) -> (rule7 % int2)) triple7) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is not blue.
False
8
inv-proof
[(((triple8 ((((triple8 triple7) -> rule6) triple7) -> rule7) triple7) -> rule5))]
("Harry" "is" "blue" "-")
((triple8 ((((triple8 triple7) -> (rule6 % int3)) triple7) -> (rule7 % int2)) triple7) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
True
13
proof
[(((((triple8 ((((triple8 triple7) -> rule6) triple7) -> rule7) triple7) -> rule5) triple7 ((triple8 triple7) -> rule6)) -> rule2))]
("Harry" "is" "young" "+")
((((triple8 ((((triple8 triple7) -> (rule6 % int4)) triple7) -> (rule7 % int3)) triple7) -> (rule5 % int2)) triple7 ((triple8 triple7) -> (rule6 % int4))) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is not round.
False
11
inv-proof
[(((((triple8 ((((triple8 triple7) -> rule6) triple7) -> rule7) triple7) -> rule5) triple6 triple8) -> rule1))]
("Harry" "is" "round" "-")
((((triple8 ((((triple8 triple7) -> (rule6 % int4)) triple7) -> (rule7 % int3)) triple7) -> (rule5 % int2)) triple6 triple8) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is red.
True
26
proof
[(((((((triple8 ((((triple8 triple7) -> rule6) triple7) -> rule7) triple7) -> rule5) triple7 ((triple8 triple7) -> rule6)) -> rule2) triple8 ((((triple8 ((((triple8 triple7) -> rule6) triple7) -> rule7) triple7) -> rule5) triple6 triple8) -> rule1)) -> rule3))]
("Harry" "is" "red" "+")
((((((triple8 ((((triple8 triple7) -> (rule6 % int6)) triple7) -> (rule7 % int5)) triple7) -> (rule5 % int4)) triple7 ((triple8 triple7) -> (rule6 % int6))) -> (rule2 % int3)) triple8 ((((triple8 ((((triple8 triple7) -> (rule6 % int6)) triple7) -> (rule7 % int5)) triple7) -> (rule5 % int4)) triple6 triple8) -> (rule1 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
Harry is not red.
False
26
inv-proof
[(((((((triple8 ((((triple8 triple7) -> rule6) triple7) -> rule7) triple7) -> rule5) triple7 ((triple8 triple7) -> rule6)) -> rule2) triple8 ((((triple8 ((((triple8 triple7) -> rule6) triple7) -> rule7) triple7) -> rule5) triple6 triple8) -> rule1)) -> rule3))]
("Harry" "is" "red" "-")
((((((triple8 ((((triple8 triple7) -> (rule6 % int6)) triple7) -> (rule7 % int5)) triple7) -> (rule5 % int4)) triple7 ((triple8 triple7) -> (rule6 % int6))) -> (rule2 % int3)) triple8 ((((triple8 ((((triple8 triple7) -> (rule6 % int6)) triple7) -> (rule7 % int5)) triple7) -> (rule5 % int4)) triple6 triple8) -> (rule1 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
Bob is not nice.
Unknown
inv-rconc
[@3: Bob is nice.[CWA. Example of deepest failure = (rule6 <- rule4 <- rule5 <- FAIL)]]
("Bob" "is" "nice" "-")
Dave is blue.
Unknown
rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "blue" "+")
Bob is not green.
Unknown
inv-rconc
[@2: Bob is green.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Bob" "is" "green" "-")
Bob is rough.
Unknown
rconc
[@3: Bob is rough.[CWA. Example of deepest failure = (rule7 <- rule4 <- rule5 <- FAIL)]]
("Bob" "is" "rough" "+")
Dave is not red.
Unknown
inv-rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "red" "-")
Eric is rough.
Unknown
rconc
[@2: Eric is rough.[CWA. Example of deepest failure = (rule7 <- rule6 <- FAIL)]]
("Eric" "is" "rough" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
Eric is not big.
Unknown
inv-random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Bob is big.[(triple2)] Bob is kind.[(triple1)] Dave is green.[(triple4)] Dave is round.[(triple3)] Eric is cold.[(triple5)] Harry is big.[(triple8)] Harry is green.[(triple7)] Harry is kind.[(triple6)] @1: Harry is nice.[(((triple8 triple7) -> rule6))] @2: Harry is rough.[(((((triple8 triple7) -> rule6) triple7) -> rule7))] @3: Harry is blue.[(((triple8 ((((triple8 triple7) -> rule6) triple7) -> rule7) triple7) -> rule5))] @4: Harry is round.[(((((triple8 ((((triple8 triple7) -> rule6) triple7) -> rule7) triple7) -> rule5) triple6 triple8) -> rule1))] Harry is young.[(((((triple8 ((((triple8 triple7) -> rule6) triple7) -> rule7) triple7) -> rule5) triple7 ((triple8 triple7) -> rule6)) -> rule2))] @5: Harry is red.[(((((((triple8 ((((triple8 triple7) -> rule6) triple7) -> rule7) triple7) -> rule5) triple7 ((triple8 triple7) -> rule6)) -> rule2) triple8 ((((triple8 ((((triple8 triple7) -> rule6) triple7) -> rule7) triple7) -> rule5) triple6 triple8) -> rule1)) -> rule3))]
Bob is big.
("Bob" "is" "big" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple3
Eric is cold.
("Eric" "is" "cold" "+")
triple5
Harry is big.
("Harry" "is" "big" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple7
Harry is kind.
("Harry" "is" "kind" "+")
triple6
Harry is nice.
("Harry" "is" "nice" "+")
((triple8 triple7) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((((triple8 triple7) -> (rule6 % int2)) triple7) -> (rule7 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
((triple8 ((((triple8 triple7) -> (rule6 % int3)) triple7) -> (rule7 % int2)) triple7) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
((((triple8 ((((triple8 triple7) -> (rule6 % int4)) triple7) -> (rule7 % int3)) triple7) -> (rule5 % int2)) triple6 triple8) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
((((triple8 ((((triple8 triple7) -> (rule6 % int4)) triple7) -> (rule7 % int3)) triple7) -> (rule5 % int2)) triple7 ((triple8 triple7) -> (rule6 % int4))) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
((((((triple8 ((((triple8 triple7) -> (rule6 % int6)) triple7) -> (rule7 % int5)) triple7) -> (rule5 % int4)) triple7 ((triple8 triple7) -> (rule6 % int6))) -> (rule2 % int3)) triple8 ((((triple8 ((((triple8 triple7) -> (rule6 % int6)) triple7) -> (rule7 % int5)) triple7) -> (rule5 % int4)) triple6 triple8) -> (rule1 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
That guy Bob is big, but he's always kind to little ones.
Dave is round shaped and green colored.
In the snow sits Eric, crying from being cold.
Harry, a green man, was also big, but underneath he was kind.
A big, blue person who is kind is also round.
A person that is blue green and nice are that way because they are still young.
Anyone who's got young, round and big traits is bound to have a red trait, too.
A blue and round human being will also be a green human being.
A person that is known to be big and rough is also green, they will feel blue about it.
People that are big but also green, may ultimately be very nice.
Green people who are nice are rough.