Dave is kind. Dave is nice. Dave is quiet. Fiona is not big. Fiona is blue. Fiona is kind. Fiona is nice. Fiona is not quiet. Fiona is red. Harry is big. Harry is not blue. Harry is kind. Harry is nice. Harry is quiet. Harry is red. Harry is rough. If someone is kind and not big then they are blue. If Harry is blue and Harry is not big then Harry is quiet. Blue, big people are rough. All red, blue people are rough. If someone is big then they are rough. If Fiona is not red then Fiona is quiet. Rough, red people are nice. If Dave is not rough and Dave is not blue then Dave is not quiet.
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
Fiona is red.
("Fiona" "is" "red" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is not blue.
("Harry" "is" "blue" "-")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If someone is kind and not big then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "blue" "+"))
If Harry is blue and Harry is not big then Harry is quiet.
((("Harry" "is" "blue" "+") ("Harry" "is" "big" "~")) -> ("Harry" "is" "quiet" "+"))
Blue, big people are rough.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
All red, blue people are rough.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is big then they are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If Fiona is not red then Fiona is quiet.
((("Fiona" "is" "red" "~")) -> ("Fiona" "is" "quiet" "+"))
Rough, red people are nice.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If Dave is not rough and Dave is not blue then Dave is not quiet.
((("Dave" "is" "rough" "~") ("Dave" "is" "blue" "~")) -> ("Dave" "is" "quiet" "-"))
Fiona is not quiet.
True
1
proof
[(triple8)]
("Fiona" "is" "quiet" "-")
triple8
Fiona is not blue.
False
1
inv-proof
[(triple5 OR ((triple6 triple4) -> rule1))]
("Fiona" "is" "blue" "-")
triple5
((triple6 triple4) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Dave is not rough.
Unknown
inv-rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "rough" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Dave is kind.[(triple1)] Dave is nice.[(triple2)] Dave is quiet.[(triple3)] Fiona is blue.[(triple5 OR ((triple6 triple4) -> rule1))] Fiona is kind.[(triple6)] Fiona is nice.[(triple7 OR ((((triple9 triple5) -> rule4) triple9) -> rule7) OR ((((triple9 ((triple6 triple4) -> rule1)) -> rule4) triple9) -> rule7))] Fiona is not big.[(triple4)] Fiona is not quiet.[(triple8)] Fiona is red.[(triple9)] Harry is big.[(triple10)] Harry is kind.[(triple12)] Harry is nice.[(triple13 OR ((triple16 triple15) -> rule7) OR ((((triple10) -> rule5) triple15) -> rule7))] Harry is not blue.[(triple11)] Harry is quiet.[(triple14)] Harry is red.[(triple15)] Harry is rough.[(triple16 OR ((triple10) -> rule5))] @1: Fiona is rough.[(((triple9 triple5) -> rule4) OR ((triple9 ((triple6 triple4) -> rule1)) -> rule4))]
Dave is kind.
("Dave" "is" "kind" "+")
triple1
Dave is nice.
("Dave" "is" "nice" "+")
triple2
Dave is quiet.
("Dave" "is" "quiet" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
((triple6 triple4) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple6
Fiona is nice.
("Fiona" "is" "nice" "+")
triple7
((((triple9 triple5) -> (rule4 % int2)) triple9) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((triple9 ((triple6 triple4) -> (rule1 % int3))) -> (rule4 % int2)) triple9) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is not big.
("Fiona" "is" "big" "-")
triple4
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
triple8
Fiona is red.
("Fiona" "is" "red" "+")
triple9
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple12
Harry is nice.
("Harry" "is" "nice" "+")
triple13
((triple16 triple15) -> (rule7 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((((triple10) -> (rule5 % int2)) triple15) -> (rule7 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is not blue.
("Harry" "is" "blue" "-")
triple11
Harry is quiet.
("Harry" "is" "quiet" "+")
triple14
Harry is red.
("Harry" "is" "red" "+")
triple15
Harry is rough.
("Harry" "is" "rough" "+")
triple16
((triple10) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple9 triple5) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((triple9 ((triple6 triple4) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2