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