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