Charlie is big. Charlie is furry. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is white. Dave is furry. Dave is nice. Erin is big. Erin is furry. Erin is green. Erin is nice. Erin is quiet. Erin is white. Harry is kind. White, quiet people are big. All kind, green people are nice. If someone is white and nice then they are big.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is white.
("Erin" "is" "white" "+")
Harry is kind.
("Harry" "is" "kind" "+")
White, quiet people are big.
((("someone" "is" "white" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "big" "+"))
All kind, green people are nice.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is white and nice then they are big.
((("someone" "is" "white" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
Charlie is kind.
True
1
proof
[(triple4)]
("Charlie" "is" "kind" "+")
triple4
Erin is not big.
False
1
inv-proof
[(triple9 OR ((triple14 triple12) -> rule3) OR ((triple14 triple13) -> rule1))]
("Erin" "is" "big" "-")
triple9
((triple14 triple12) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((triple14 triple13) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Charlie is nice.
True
3
proof
[(((triple4 triple3) -> rule2))]
("Charlie" "is" "nice" "+")
((triple4 triple3) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is not nice.
False
3
inv-proof
[(((triple4 triple3) -> rule2))]
("Charlie" "is" "nice" "-")
((triple4 triple3) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "big" "-")
Harry is nice.
Unknown
rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "nice" "+")
Harry is not white.
Unknown
inv-random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
@0: Charlie is big.[(triple1 OR ((triple6 triple5) -> rule1) OR ((triple6 ((triple4 triple3) -> rule2)) -> rule3))] Charlie is furry.[(triple2)] Charlie is green.[(triple3)] Charlie is kind.[(triple4)] Charlie is quiet.[(triple5)] Charlie is white.[(triple6)] Dave is furry.[(triple7)] Dave is nice.[(triple8)] Erin is big.[(triple9 OR ((triple14 triple12) -> rule3) OR ((triple14 triple13) -> rule1))] Erin is furry.[(triple10)] Erin is green.[(triple11)] Erin is nice.[(triple12)] Erin is quiet.[(triple13)] Erin is white.[(triple14)] Harry is kind.[(triple15)] @1: Charlie is nice.[(((triple4 triple3) -> rule2))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
((triple6 triple5) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((triple6 ((triple4 triple3) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple5
Charlie is white.
("Charlie" "is" "white" "+")
triple6
Dave is furry.
("Dave" "is" "furry" "+")
triple7
Dave is nice.
("Dave" "is" "nice" "+")
triple8
Erin is big.
("Erin" "is" "big" "+")
triple9
((triple14 triple12) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((triple14 triple13) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
triple10
Erin is green.
("Erin" "is" "green" "+")
triple11
Erin is nice.
("Erin" "is" "nice" "+")
triple12
Erin is quiet.
("Erin" "is" "quiet" "+")
triple13
Erin is white.
("Erin" "is" "white" "+")
triple14
Harry is kind.
("Harry" "is" "kind" "+")
triple15
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple4 triple3) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1