Fiona is quiet. Harry is round. Blue people are round. If someone is smart and cold then they are young. If Fiona is young and Fiona is smart then Fiona is cold. If Harry is cold and Harry is blue then Harry is red. If someone is round then they are quiet. If someone is cold and blue then they are young. All cold people are young. If someone is smart then they are round.
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Harry is round.
("Harry" "is" "round" "+")
Blue people are round.
((("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is smart and cold then they are young.
((("someone" "is" "smart" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If Fiona is young and Fiona is smart then Fiona is cold.
((("Fiona" "is" "young" "+") ("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "cold" "+"))
If Harry is cold and Harry is blue then Harry is red.
((("Harry" "is" "cold" "+") ("Harry" "is" "blue" "+")) -> ("Harry" "is" "red" "+"))
If someone is round then they are quiet.
((("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "+"))
If someone is cold and blue then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
All cold people are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is smart then they are round.
((("someone" "is" "smart" "+")) -> ("someone" "is" "round" "+"))
Fiona is quiet.
True
1
proof
[(triple1)]
("Fiona" "is" "quiet" "+")
triple1
Fiona is not quiet.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "quiet" "-")
triple1
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "red" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Fiona is quiet.[(triple1)] Harry is round.[(triple2)] @1: Harry is quiet.[(((triple2) -> rule5))]
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple1
Harry is round.
("Harry" "is" "round" "+")
triple2
Harry is quiet.
("Harry" "is" "quiet" "+")
((triple2) -> (rule5 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1