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