Harry is not blue. Harry is round. Harry is not white. White, young things are blue. If something is white and green then it is not round. All smart things are not round. All quiet things are round. If Harry is round then Harry is quiet. All round things are not white. If something is round and not young then it is white. If Harry is young then Harry is smart.
Harry is not blue.
("Harry" "is" "blue" "-")
Harry is round.
("Harry" "is" "round" "+")
Harry is not white.
("Harry" "is" "white" "-")
White, young things are blue.
((("something" "is" "white" "+") ("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
If something is white and green then it is not round.
((("something" "is" "white" "+") ("something" "is" "green" "+")) -> ("something" "is" "round" "-"))
All smart things are not round.
((("something" "is" "smart" "+")) -> ("something" "is" "round" "-"))
All quiet things are round.
((("something" "is" "quiet" "+")) -> ("something" "is" "round" "+"))
If Harry is round then Harry is quiet.
((("Harry" "is" "round" "+")) -> ("Harry" "is" "quiet" "+"))
All round things are not white.
((("something" "is" "round" "+")) -> ("something" "is" "white" "-"))
If something is round and not young then it is white.
((("something" "is" "round" "+") ("something" "is" "young" "~")) -> ("something" "is" "white" "+"))
If Harry is young then Harry is smart.
((("Harry" "is" "young" "+")) -> ("Harry" "is" "smart" "+"))
Harry is round.
True
1
proof
[(triple2)]
("Harry" "is" "round" "+")
triple2
Harry is not round.
False
1
inv-proof
[(triple2)]
("Harry" "is" "round" "-")
triple2
Harry is quiet.
True
2
proof
[(((triple2) -> rule5))]
("Harry" "is" "quiet" "+")
((triple2) -> (rule5 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is not quiet.
False
2
inv-proof
[(((triple2) -> rule5))]
("Harry" "is" "quiet" "-")
((triple2) -> (rule5 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is not smart.
Unknown
inv-rconc
[@1: Harry is smart.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Harry" "is" "smart" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
@0: Harry is not blue.[(triple1)] Harry is not white.[(triple3 OR ((triple2) -> rule6))] Harry is round.[(triple2)] @1: Harry is quiet.[(((triple2) -> rule5))]
Harry is not blue.
("Harry" "is" "blue" "-")
triple1
Harry is not white.
("Harry" "is" "white" "-")
triple3
((triple2) -> (rule6 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
Harry is round.
("Harry" "is" "round" "+")
triple2
Harry is quiet.
("Harry" "is" "quiet" "+")
((triple2) -> (rule5 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1