Dave is green. Dave is quiet. Dave is red. Fiona is big. Fiona is furry. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is smart. Gary is big. Gary is green. Gary is nice. Gary is quiet. Harry is furry. Harry is smart. All furry things are nice. Red things are big. If Fiona is big and Fiona is smart then Fiona is nice. All smart, red things are quiet. If Fiona is smart then Fiona is quiet. Nice things are smart.
Dave is green.
("Dave" "is" "green" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is red.
("Dave" "is" "red" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is smart.
("Harry" "is" "smart" "+")
All furry things are nice.
((("something" "is" "furry" "+")) -> ("something" "is" "nice" "+"))
Red things are big.
((("something" "is" "red" "+")) -> ("something" "is" "big" "+"))
If Fiona is big and Fiona is smart then Fiona is nice.
((("Fiona" "is" "big" "+") ("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "nice" "+"))
All smart, red things are quiet.
((("something" "is" "smart" "+") ("something" "is" "red" "+")) -> ("something" "is" "quiet" "+"))
If Fiona is smart then Fiona is quiet.
((("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "quiet" "+"))
Nice things are smart.
((("something" "is" "nice" "+")) -> ("something" "is" "smart" "+"))
Harry is furry.
True
1
proof
[(triple14)]
("Harry" "is" "furry" "+")
triple14
Dave is not quiet.
False
1
inv-proof
[(triple2)]
("Dave" "is" "quiet" "-")
triple2
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "nice" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Dave is green.[(triple1)] Dave is quiet.[(triple2)] Dave is red.[(triple3)] Fiona is big.[(triple4)] Fiona is furry.[(triple5)] Fiona is green.[(triple6)] Fiona is nice.[(triple7 OR ((triple5) -> rule1) OR ((triple4 triple9) -> rule3))] Fiona is quiet.[(triple8 OR ((triple9) -> rule5) OR ((((triple7) -> rule6)) -> rule5) OR ((((((triple5) -> rule1)) -> rule6)) -> rule5))] Fiona is smart.[(triple9 OR ((triple7) -> rule6) OR ((((triple5) -> rule1)) -> rule6))] Gary is big.[(triple10)] Gary is green.[(triple11)] Gary is nice.[(triple12)] Gary is quiet.[(triple13)] Harry is furry.[(triple14)] Harry is smart.[(triple15 OR ((((triple14) -> rule1)) -> rule6))] @1: Dave is big.[(((triple3) -> rule2))] Gary is smart.[(((triple12) -> rule6))] Harry is nice.[(((triple14) -> rule1))]
Dave is green.
("Dave" "is" "green" "+")
triple1
Dave is quiet.
("Dave" "is" "quiet" "+")
triple2
Dave is red.
("Dave" "is" "red" "+")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
triple4
Fiona is furry.
("Fiona" "is" "furry" "+")
triple5
Fiona is green.
("Fiona" "is" "green" "+")
triple6
Fiona is nice.
("Fiona" "is" "nice" "+")
triple7
((triple5) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((triple4 triple9) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple8
((triple9) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((((triple7) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((((((triple5) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
triple9
((triple7) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((((triple5) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is green.
("Gary" "is" "green" "+")
triple11
Gary is nice.
("Gary" "is" "nice" "+")
triple12
Gary is quiet.
("Gary" "is" "quiet" "+")
triple13
Harry is furry.
("Harry" "is" "furry" "+")
triple14
Harry is smart.
("Harry" "is" "smart" "+")
triple15
((((triple14) -> (rule1 % int2))) -> (rule6 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
((triple3) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
((triple12) -> (rule6 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple14) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1