Bob ate some rotten meat and now feels green. Dave is cold with rough red skin. Dave is big but is also kind. Eric, like all young people, is nice. Harry has a round face and is very nice. Because someone is green and kind they are extremely nice to people. Someone with round, red, and kind traits also will be green. If you find that someone has rough blue skin they are always kind. Big people that are also rough, are ultimately round. A kind, young human will also be a blue human.
Bob is green.
("Bob" "is" "green" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If someone is green and kind then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and red and kind then they are green.
((("someone" "is" "round" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and blue then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and rough then they are round.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and young then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Dave is cold.
True
1
proof
[(triple5)]
("Dave" "is" "cold" "+")
triple5
Harry is not nice.
False
1
inv-proof
[(triple10)]
("Harry" "is" "nice" "-")
triple10
Dave is round.
True
3
proof
[(((triple6 triple2) -> rule4))]
("Dave" "is" "round" "+")
((triple6 triple2) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is not round.
False
3
inv-proof
[(((triple6 triple2) -> rule4))]
("Dave" "is" "round" "-")
((triple6 triple2) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is green.
True
6
proof
[(((((triple6 triple2) -> rule4) triple3 triple4) -> rule2))]
("Dave" "is" "green" "+")
((((triple6 triple2) -> (rule4 % int2)) triple3 triple4) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is not green.
False
6
inv-proof
[(((((triple6 triple2) -> rule4) triple3 triple4) -> rule2))]
("Dave" "is" "green" "-")
((((triple6 triple2) -> (rule4 % int2)) triple3 triple4) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
True
8
proof
[(((((((triple6 triple2) -> rule4) triple3 triple4) -> rule2) triple4) -> rule1))]
("Dave" "is" "nice" "+")
((((((triple6 triple2) -> (rule4 % int3)) triple3 triple4) -> (rule2 % int2)) triple4) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is not nice.
False
8
inv-proof
[(((((((triple6 triple2) -> rule4) triple3 triple4) -> rule2) triple4) -> rule1))]
("Dave" "is" "nice" "-")
((((((triple6 triple2) -> (rule4 % int3)) triple3 triple4) -> (rule2 % int2)) triple4) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Eric is not kind.
Unknown
inv-rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "kind" "-")
Eric is round.
Unknown
rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "round" "+")
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "green" "-")
Bob is round.
Unknown
rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "round" "+")
Eric is not red.
Unknown
inv-random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Bob is green.[(triple1)] Dave is big.[(triple6)] Dave is cold.[(triple5)] Dave is kind.[(triple4)] Dave is red.[(triple3)] Dave is rough.[(triple2)] Eric is nice.[(triple8)] Eric is young.[(triple7)] Harry is nice.[(triple10)] Harry is round.[(triple9)] @1: Dave is round.[(((triple6 triple2) -> rule4))] @2: Dave is green.[(((((triple6 triple2) -> rule4) triple3 triple4) -> rule2))] @3: Dave is nice.[(((((((triple6 triple2) -> rule4) triple3 triple4) -> rule2) triple4) -> rule1))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is cold.
("Dave" "is" "cold" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
triple2
Eric is nice.
("Eric" "is" "nice" "+")
triple8
Eric is young.
("Eric" "is" "young" "+")
triple7
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple9
Dave is round.
("Dave" "is" "round" "+")
((triple6 triple2) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((((triple6 triple2) -> (rule4 % int2)) triple3 triple4) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
((((((triple6 triple2) -> (rule4 % int3)) triple3 triple4) -> (rule2 % int2)) triple4) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Bob ate some rotten meat and now feels green.
Dave is cold with rough red skin; Dave is big but is also kind.
Eric, like all young people, is nice.
Harry has a round face and is very nice.
Because someone is green and kind they are extremely nice to people.
Someone with round, red, and kind traits also will be green.
If you find that someone has rough blue skin they are always kind.
Big people that are also rough, are ultimately round.
A kind, young human will also be a blue human.