Dave is big. Dave is not furry. Dave is not round. Fiona is furry. Fiona is not green. Fiona is round. Fiona is not smart. Harry is big. Harry is furry. Harry is not green. Harry is kind. Harry is not smart. If Dave is not round then Dave is smart. If something is smart then it is green. If something is kind and not furry then it is green.
Dave is big.
("Dave" "is" "big" "+")
Dave is not furry.
("Dave" "is" "furry" "-")
Dave is not round.
("Dave" "is" "round" "-")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is not smart.
("Fiona" "is" "smart" "-")
Harry is big.
("Harry" "is" "big" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is not green.
("Harry" "is" "green" "-")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is not smart.
("Harry" "is" "smart" "-")
If Dave is not round then Dave is smart.
((("Dave" "is" "round" "~")) -> ("Dave" "is" "smart" "+"))
If something is smart then it is green.
((("something" "is" "smart" "+")) -> ("something" "is" "green" "+"))
If something is kind and not furry then it is green.
((("something" "is" "kind" "+") ("something" "is" "furry" "~")) -> ("something" "is" "green" "+"))
Fiona is furry.
True
1
proof
[(triple4)]
("Fiona" "is" "furry" "+")
triple4
Fiona is not round.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "round" "-")
triple6
Dave is smart.
True
2
proof
[(((triple3) -> rule1))]
("Dave" "is" "smart" "+")
((triple3) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is not smart.
False
2
inv-proof
[(((triple3) -> rule1))]
("Dave" "is" "smart" "-")
((triple3) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is green.
True
3
proof
[(((((triple3) -> rule1)) -> rule2))]
("Dave" "is" "green" "+")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is not green.
False
3
inv-proof
[(((((triple3) -> rule1)) -> rule2))]
("Dave" "is" "green" "-")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
Fiona is not kind.
Unknown
inv-random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Dave is big.[(triple1)] Dave is not furry.[(triple2)] Dave is not round.[(triple3)] Fiona is furry.[(triple4)] Fiona is not green.[(triple5)] Fiona is not smart.[(triple7)] Fiona is round.[(triple6)] Harry is big.[(triple8)] Harry is furry.[(triple9)] Harry is kind.[(triple11)] Harry is not green.[(triple10)] Harry is not smart.[(triple12)] @1: Dave is smart.[(((triple3) -> rule1))] @2: Dave is green.[(((((triple3) -> rule1)) -> rule2))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is not furry.
("Dave" "is" "furry" "-")
triple2
Dave is not round.
("Dave" "is" "round" "-")
triple3
Fiona is furry.
("Fiona" "is" "furry" "+")
triple4
Fiona is not green.
("Fiona" "is" "green" "-")
triple5
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple7
Fiona is round.
("Fiona" "is" "round" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple8
Harry is furry.
("Harry" "is" "furry" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Harry is not green.
("Harry" "is" "green" "-")
triple10
Harry is not smart.
("Harry" "is" "smart" "-")
triple12
Dave is smart.
("Dave" "is" "smart" "+")
((triple3) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2