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