Fiona is round. Harry is smart. If someone is furry then they are nice. All furry people are cold. If someone is round then they are quiet.
Fiona is round.
("Fiona" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If someone is furry then they are nice.
((("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "+"))
All furry people are cold.
((("someone" "is" "furry" "+")) -> ("someone" "is" "cold" "+"))
If someone is round then they are quiet.
((("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "+"))
Harry is smart.
True
1
proof
[(triple2)]
("Harry" "is" "smart" "+")
triple2
Harry is not smart.
False
1
inv-proof
[(triple2)]
("Harry" "is" "smart" "-")
triple2
Fiona is quiet.
True
2
proof
[(((triple1) -> rule3))]
("Fiona" "is" "quiet" "+")
((triple1) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is not quiet.
False
2
inv-proof
[(((triple1) -> rule3))]
("Fiona" "is" "quiet" "-")
((triple1) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "nice" "-")
Harry is cold.
Unknown
rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "cold" "+")
Fiona is not furry.
Unknown
inv-random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
@0: Fiona is round.[(triple1)] Harry is smart.[(triple2)] @1: Fiona is quiet.[(((triple1) -> rule3))]
Fiona is round.
("Fiona" "is" "round" "+")
triple1
Harry is smart.
("Harry" "is" "smart" "+")
triple2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple1) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1