Erin is furry. Erin is kind. Erin is nice. Erin is red. Erin is round. Fiona is kind. Fiona is quiet. Fiona is white. Harry is furry. Harry is red. Harry is round. Harry is white. If something is quiet then it is red. If something is furry then it is red. All nice things are quiet. Nice things are quiet. If Erin is round and Erin is not kind then Erin is white. If Fiona is red and Fiona is round then Fiona is nice. If something is quiet and not kind then it is round. If something is white then it is round.
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
If something is quiet then it is red.
((("something" "is" "quiet" "+")) -> ("something" "is" "red" "+"))
If something is furry then it is red.
((("something" "is" "furry" "+")) -> ("something" "is" "red" "+"))
All nice things are quiet.
((("something" "is" "nice" "+")) -> ("something" "is" "quiet" "+"))
Nice things are quiet.
((("something" "is" "nice" "+")) -> ("something" "is" "quiet" "+"))
If Erin is round and Erin is not kind then Erin is white.
((("Erin" "is" "round" "+") ("Erin" "is" "kind" "~")) -> ("Erin" "is" "white" "+"))
If Fiona is red and Fiona is round then Fiona is nice.
((("Fiona" "is" "red" "+") ("Fiona" "is" "round" "+")) -> ("Fiona" "is" "nice" "+"))
If something is quiet and not kind then it is round.
((("something" "is" "quiet" "+") ("something" "is" "kind" "~")) -> ("something" "is" "round" "+"))
If something is white then it is round.
((("something" "is" "white" "+")) -> ("something" "is" "round" "+"))
Harry is round.
True
1
proof
[(triple11 OR ((triple12) -> rule8))]
("Harry" "is" "round" "+")
triple11
((triple12) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is not furry.
False
1
inv-proof
[(triple9)]
("Harry" "is" "furry" "-")
triple9
Fiona is red.
True
2
proof
[(((triple7) -> rule1))]
("Fiona" "is" "red" "+")
((triple7) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Erin is not quiet.
False
2
inv-proof
[(((triple3) -> rule3) OR ((triple3) -> rule4))]
("Erin" "is" "quiet" "-")
((triple3) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((triple3) -> (rule4 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Fiona is nice.
True
5
proof
[(((((triple7) -> rule1) ((triple8) -> rule8)) -> rule6))]
("Fiona" "is" "nice" "+")
((((triple7) -> (rule1 % int3)) ((triple8) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is not nice.
False
5
inv-proof
[(((((triple7) -> rule1) ((triple8) -> rule8)) -> rule6))]
("Fiona" "is" "nice" "-")
((((triple7) -> (rule1 % int3)) ((triple8) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Erin is not white.
Unknown
inv-rconc
[@1: Erin is white.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Erin" "is" "white" "-")
Harry is quiet.
Unknown
rconc
[@1: Harry is quiet.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "quiet" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
@0: Erin is furry.[(triple1)] Erin is kind.[(triple2)] Erin is nice.[(triple3)] Erin is red.[(triple4 OR ((triple1) -> rule2) OR ((((triple3) -> rule3)) -> rule1) OR ((((triple3) -> rule4)) -> rule1))] Erin is round.[(triple5)] Fiona is kind.[(triple6)] Fiona is quiet.[(triple7)] Fiona is white.[(triple8)] Harry is furry.[(triple9)] Harry is red.[(triple10 OR ((triple9) -> rule2))] Harry is round.[(triple11 OR ((triple12) -> rule8))] Harry is white.[(triple12)] @1: Erin is quiet.[(((triple3) -> rule3) OR ((triple3) -> rule4))] Fiona is red.[(((triple7) -> rule1))] Fiona is round.[(((triple8) -> rule8))] @2: Fiona is nice.[(((((triple7) -> rule1) ((triple8) -> rule8)) -> rule6))]
Erin is furry.
("Erin" "is" "furry" "+")
triple1
Erin is kind.
("Erin" "is" "kind" "+")
triple2
Erin is nice.
("Erin" "is" "nice" "+")
triple3
Erin is red.
("Erin" "is" "red" "+")
triple4
((triple1) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((((triple3) -> (rule3 % int2))) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((triple3) -> (rule4 % int2))) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
triple5
Fiona is kind.
("Fiona" "is" "kind" "+")
triple6
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7
Fiona is white.
("Fiona" "is" "white" "+")
triple8
Harry is furry.
("Harry" "is" "furry" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple10
((triple9) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
triple11
((triple12) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
triple12
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple3) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((triple3) -> (rule4 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((triple7) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((triple8) -> (rule8 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((((triple7) -> (rule1 % int3)) ((triple8) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3