Charlie is not blue. Charlie is nice. Charlie is smart. Fiona is furry. Gary is blue. Harry is furry. Harry is nice. If someone is furry and not round then they are smart. All furry people are not smart. If someone is big then they are nice. If someone is round then they are big. All blue people are not big. If Harry is furry and Harry is rough then Harry is big.
Charlie is not blue.
("Charlie" "is" "blue" "-")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If someone is furry and not round then they are smart.
((("someone" "is" "furry" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "smart" "+"))
All furry people are not smart.
((("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "-"))
If someone is big then they are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is round then they are big.
((("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
All blue people are not big.
((("someone" "is" "blue" "+")) -> ("someone" "is" "big" "-"))
If Harry is furry and Harry is rough then Harry is big.
((("Harry" "is" "furry" "+") ("Harry" "is" "rough" "+")) -> ("Harry" "is" "big" "+"))
Charlie is not blue.
True
1
proof
[(triple1)]
("Charlie" "is" "blue" "-")
triple1
Harry is not nice.
False
1
inv-proof
[(triple7)]
("Harry" "is" "nice" "-")
triple7
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "big" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Charlie is nice.[(triple2)] Charlie is not blue.[(triple1)] Charlie is smart.[(triple3)] Fiona is furry.[(triple4)] Gary is blue.[(triple5)] Harry is furry.[(triple6)] Harry is nice.[(triple7)] @1: Fiona is not smart.[(((triple4) -> rule2))] Gary is not big.[(((triple5) -> rule5))] Harry is not smart.[(((triple6) -> rule2))]
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is not blue.
("Charlie" "is" "blue" "-")
triple1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple3
Fiona is furry.
("Fiona" "is" "furry" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple5
Harry is furry.
("Harry" "is" "furry" "+")
triple6
Harry is nice.
("Harry" "is" "nice" "+")
triple7
Fiona is not smart.
("Fiona" "is" "smart" "-")
((triple4) -> (rule2 % int1))
Fiona is not smart.
("Fiona" "is" "smart" "-")
int1
Gary is not big.
("Gary" "is" "big" "-")
((triple5) -> (rule5 % int1))
Gary is not big.
("Gary" "is" "big" "-")
int1
Harry is not smart.
("Harry" "is" "smart" "-")
((triple6) -> (rule2 % int1))
Harry is not smart.
("Harry" "is" "smart" "-")
int1