Erin is quiet. Fiona is blue. Fiona is furry. Fiona is rough. Harry is furry. Harry is nice. Harry is quiet. All furry, blue people are round.
Erin is quiet.
("Erin" "is" "quiet" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
All furry, blue people are round.
((("someone" "is" "furry" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
Harry is nice.
True
1
proof
[(triple6)]
("Harry" "is" "nice" "+")
triple6
Fiona is not rough.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "rough" "-")
triple4
Fiona is round.
True
3
proof
[(((triple3 triple2) -> rule1))]
("Fiona" "is" "round" "+")
((triple3 triple2) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is not round.
False
3
inv-proof
[(((triple3 triple2) -> rule1))]
("Fiona" "is" "round" "-")
((triple3 triple2) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Erin is not round.
Unknown
inv-rconc
[@1: Erin is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "round" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "round" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Erin is quiet.[(triple1)] Fiona is blue.[(triple2)] Fiona is furry.[(triple3)] Fiona is rough.[(triple4)] Harry is furry.[(triple5)] Harry is nice.[(triple6)] Harry is quiet.[(triple7)] @1: Fiona is round.[(((triple3 triple2) -> rule1))]
Erin is quiet.
("Erin" "is" "quiet" "+")
triple1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple2
Fiona is furry.
("Fiona" "is" "furry" "+")
triple3
Fiona is rough.
("Fiona" "is" "rough" "+")
triple4
Harry is furry.
("Harry" "is" "furry" "+")
triple5
Harry is nice.
("Harry" "is" "nice" "+")
triple6
Harry is quiet.
("Harry" "is" "quiet" "+")
triple7
Fiona is round.
("Fiona" "is" "round" "+")
((triple3 triple2) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1