Charlie is big. Charlie is nice. Charlie is quiet. Charlie is red. Erin is round. Erin is white. Gary is nice. Gary is round. Gary is white. Harry is not quiet. Harry is round. Harry is white. If someone is cold and not red then they are big. All big, red people are quiet.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is not quiet.
("Harry" "is" "quiet" "-")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
If someone is cold and not red then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "big" "+"))
All big, red people are quiet.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "quiet" "+"))
Charlie is quiet.
True
1
proof
[(triple3 OR ((triple1 triple4) -> rule2))]
("Charlie" "is" "quiet" "+")
triple3
((triple1 triple4) -> (rule2 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Gary is not round.
False
1
inv-proof
[(triple8)]
("Gary" "is" "round" "-")
triple8
Erin is not big.
Unknown
inv-rconc
[@1: Erin is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "big" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
@0: Charlie is big.[(triple1)] Charlie is nice.[(triple2)] Charlie is quiet.[(triple3 OR ((triple1 triple4) -> rule2))] Charlie is red.[(triple4)] Erin is round.[(triple5)] Erin is white.[(triple6)] Gary is nice.[(triple7)] Gary is round.[(triple8)] Gary is white.[(triple9)] Harry is not quiet.[(triple10)] Harry is round.[(triple11)] Harry is white.[(triple12)]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple3
((triple1 triple4) -> (rule2 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Erin is round.
("Erin" "is" "round" "+")
triple5
Erin is white.
("Erin" "is" "white" "+")
triple6
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Gary is round.
("Gary" "is" "round" "+")
triple8
Gary is white.
("Gary" "is" "white" "+")
triple9
Harry is not quiet.
("Harry" "is" "quiet" "-")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple11
Harry is white.
("Harry" "is" "white" "+")
triple12