Dave is green. Erin is green. Erin is quiet. Fiona is quiet. Fiona is rough. Harry is cold. Harry is rough. Green things are not cold. Nice things are green. If something is cold then it is furry. If Fiona is rough then Fiona is not nice. If Harry is not cold then Harry is quiet. All furry things are round. If something is rough and quiet then it is not round. If something is quiet and not green then it is round.
Dave is green.
("Dave" "is" "green" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Green things are not cold.
((("something" "is" "green" "+")) -> ("something" "is" "cold" "-"))
Nice things are green.
((("something" "is" "nice" "+")) -> ("something" "is" "green" "+"))
If something is cold then it is furry.
((("something" "is" "cold" "+")) -> ("something" "is" "furry" "+"))
If Fiona is rough then Fiona is not nice.
((("Fiona" "is" "rough" "+")) -> ("Fiona" "is" "nice" "-"))
If Harry is not cold then Harry is quiet.
((("Harry" "is" "cold" "~")) -> ("Harry" "is" "quiet" "+"))
All furry things are round.
((("something" "is" "furry" "+")) -> ("something" "is" "round" "+"))
If something is rough and quiet then it is not round.
((("something" "is" "rough" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "round" "-"))
If something is quiet and not green then it is round.
((("something" "is" "quiet" "+") ("something" "is" "green" "~")) -> ("something" "is" "round" "+"))
Harry is rough.
True
1
proof
[(triple7)]
("Harry" "is" "rough" "+")
triple7
Harry is not rough.
False
1
inv-proof
[(triple7)]
("Harry" "is" "rough" "-")
triple7
Dave is not furry.
Unknown
inv-rconc
[@1: Dave is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "furry" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Dave is green.[(triple1)] Erin is green.[(triple2)] Erin is quiet.[(triple3)] Fiona is quiet.[(triple4)] Fiona is rough.[(triple5)] Harry is cold.[(triple6)] Harry is rough.[(triple7)] @1: Dave is not cold.[(((triple1) -> rule1))] Erin is not cold.[(((triple2) -> rule1))] Fiona is not nice.[(((triple5) -> rule4))] Fiona is not round.[(((triple5 triple4) -> rule7))] Harry is furry.[(((triple6) -> rule3))] @2: Harry is round.[(((((triple6) -> rule3)) -> rule6))]
Dave is green.
("Dave" "is" "green" "+")
triple1
Erin is green.
("Erin" "is" "green" "+")
triple2
Erin is quiet.
("Erin" "is" "quiet" "+")
triple3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple4
Fiona is rough.
("Fiona" "is" "rough" "+")
triple5
Harry is cold.
("Harry" "is" "cold" "+")
triple6
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Dave is not cold.
("Dave" "is" "cold" "-")
((triple1) -> (rule1 % int1))
Dave is not cold.
("Dave" "is" "cold" "-")
int1
Erin is not cold.
("Erin" "is" "cold" "-")
((triple2) -> (rule1 % int1))
Erin is not cold.
("Erin" "is" "cold" "-")
int1
Fiona is not nice.
("Fiona" "is" "nice" "-")
((triple5) -> (rule4 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1
Fiona is not round.
("Fiona" "is" "round" "-")
((triple5 triple4) -> (rule7 % int1))
Fiona is not round.
("Fiona" "is" "round" "-")
int1
Harry is furry.
("Harry" "is" "furry" "+")
((triple6) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((((triple6) -> (rule3 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2