Bob is quiet. Charlie is rough. Fiona is round. Harry is rough. Quiet, big people are round. Rough, furry people are green. All round people are nice. If someone is rough and round then they are quiet. If Fiona is rough then Fiona is round. All big people are nice. Quiet, furry people are green. If Charlie is furry and Charlie is green then Charlie is round.
Bob is quiet.
("Bob" "is" "quiet" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Quiet, big people are round.
((("someone" "is" "quiet" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
Rough, furry people are green.
((("someone" "is" "rough" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
All round people are nice.
((("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and round then they are quiet.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "+"))
If Fiona is rough then Fiona is round.
((("Fiona" "is" "rough" "+")) -> ("Fiona" "is" "round" "+"))
All big people are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
Quiet, furry people are green.
((("someone" "is" "quiet" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
If Charlie is furry and Charlie is green then Charlie is round.
((("Charlie" "is" "furry" "+") ("Charlie" "is" "green" "+")) -> ("Charlie" "is" "round" "+"))
Harry is rough.
True
1
proof
[(triple4)]
("Harry" "is" "rough" "+")
triple4
Bob is not quiet.
False
1
inv-proof
[(triple1)]
("Bob" "is" "quiet" "-")
triple1
Fiona is nice.
True
2
proof
[(((triple3) -> rule3))]
("Fiona" "is" "nice" "+")
((triple3) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is not nice.
False
2
inv-proof
[(((triple3) -> rule3))]
("Fiona" "is" "nice" "-")
((triple3) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "round" "-")
Fiona is green.
Unknown
rconc
[@1: Fiona is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "green" "+")
Harry is not furry.
Unknown
inv-random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
@0: Bob is quiet.[(triple1)] Charlie is rough.[(triple2)] Fiona is round.[(triple3)] Harry is rough.[(triple4)] @1: Fiona is nice.[(((triple3) -> rule3))]
Bob is quiet.
("Bob" "is" "quiet" "+")
triple1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Fiona is round.
("Fiona" "is" "round" "+")
triple3
Harry is rough.
("Harry" "is" "rough" "+")
triple4
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple3) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1