Charlie is smart. Fiona is smart. Gary is green. Harry is quiet. Harry is not round. Harry is white. Harry is young. If something is quiet then it is furry. All smart, young things are not green. All quiet things are white. If something is young and green then it is not white. If something is green then it is quiet. If Harry is not quiet then Harry is white.
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is not round.
("Harry" "is" "round" "-")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
If something is quiet then it is furry.
((("something" "is" "quiet" "+")) -> ("something" "is" "furry" "+"))
All smart, young things are not green.
((("something" "is" "smart" "+") ("something" "is" "young" "+")) -> ("something" "is" "green" "-"))
All quiet things are white.
((("something" "is" "quiet" "+")) -> ("something" "is" "white" "+"))
If something is young and green then it is not white.
((("something" "is" "young" "+") ("something" "is" "green" "+")) -> ("something" "is" "white" "-"))
If something is green then it is quiet.
((("something" "is" "green" "+")) -> ("something" "is" "quiet" "+"))
If Harry is not quiet then Harry is white.
((("Harry" "is" "quiet" "~")) -> ("Harry" "is" "white" "+"))
Harry is young.
True
1
proof
[(triple7)]
("Harry" "is" "young" "+")
triple7
Harry is not young.
False
1
inv-proof
[(triple7)]
("Harry" "is" "young" "-")
triple7
Charlie is not furry.
Unknown
inv-rconc
[@2: Charlie is furry.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Charlie" "is" "furry" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
@0: Charlie is smart.[(triple1)] Fiona is smart.[(triple2)] Gary is green.[(triple3)] Harry is not round.[(triple5)] Harry is quiet.[(triple4)] Harry is white.[(triple6 OR ((triple4) -> rule3))] Harry is young.[(triple7)] @1: Gary is quiet.[(((triple3) -> rule5))] Harry is furry.[(((triple4) -> rule1))] @2: Gary is furry.[(((((triple3) -> rule5)) -> rule1))] Gary is white.[(((((triple3) -> rule5)) -> rule3))]
Charlie is smart.
("Charlie" "is" "smart" "+")
triple1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple2
Gary is green.
("Gary" "is" "green" "+")
triple3
Harry is not round.
("Harry" "is" "round" "-")
triple5
Harry is quiet.
("Harry" "is" "quiet" "+")
triple4
Harry is white.
("Harry" "is" "white" "+")
triple6
((triple4) -> (rule3 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
triple7
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple3) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
((triple4) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
((((triple3) -> (rule5 % int2))) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
((((triple3) -> (rule5 % int2))) -> (rule3 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2