Dave is not green. Dave is not quiet. Fiona is not quiet. Fiona is not red. Fiona is round. Fiona is not young. Harry is quiet. If Dave is not big then Dave is young. If Dave is not round then Dave is not young. If Harry is not green then Harry is big. All young, blue things are quiet. Blue, green things are quiet. If something is quiet then it is young.
Dave is not green.
("Dave" "is" "green" "-")
Dave is not quiet.
("Dave" "is" "quiet" "-")
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
Fiona is not red.
("Fiona" "is" "red" "-")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is not young.
("Fiona" "is" "young" "-")
Harry is quiet.
("Harry" "is" "quiet" "+")
If Dave is not big then Dave is young.
((("Dave" "is" "big" "~")) -> ("Dave" "is" "young" "+"))
If Dave is not round then Dave is not young.
((("Dave" "is" "round" "~")) -> ("Dave" "is" "young" "-"))
If Harry is not green then Harry is big.
((("Harry" "is" "green" "~")) -> ("Harry" "is" "big" "+"))
All young, blue things are quiet.
((("something" "is" "young" "+") ("something" "is" "blue" "+")) -> ("something" "is" "quiet" "+"))
Blue, green things are quiet.
((("something" "is" "blue" "+") ("something" "is" "green" "+")) -> ("something" "is" "quiet" "+"))
If something is quiet then it is young.
((("something" "is" "quiet" "+")) -> ("something" "is" "young" "+"))
Fiona is not red.
True
1
proof
[(triple4)]
("Fiona" "is" "red" "-")
triple4
Fiona is young.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "young" "+")
triple6
Harry is young.
True
2
proof
[(((triple7) -> rule6))]
("Harry" "is" "young" "+")
((triple7) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is not young.
False
2
inv-proof
[(((triple7) -> rule6))]
("Harry" "is" "young" "-")
((triple7) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "big" "-")
Dave is young.
Unknown
rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "young" "+")
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Dave is not green.[(triple1)] Dave is not quiet.[(triple2)] Fiona is not quiet.[(triple3)] Fiona is not red.[(triple4)] Fiona is not young.[(triple6)] Fiona is round.[(triple5)] Harry is quiet.[(triple7)] @1: Harry is young.[(((triple7) -> rule6))]
Dave is not green.
("Dave" "is" "green" "-")
triple1
Dave is not quiet.
("Dave" "is" "quiet" "-")
triple2
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
triple3
Fiona is not red.
("Fiona" "is" "red" "-")
triple4
Fiona is not young.
("Fiona" "is" "young" "-")
triple6
Fiona is round.
("Fiona" "is" "round" "+")
triple5
Harry is quiet.
("Harry" "is" "quiet" "+")
triple7
Harry is young.
("Harry" "is" "young" "+")
((triple7) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1