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