Charlie is green. Charlie is kind. Erin is big. Erin is blue. Erin is not furry. Erin is kind. Erin is round. Erin is smart. Harry is not big. Harry is not furry. Harry is green. Harry is smart. Big people are smart.
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is not furry.
("Erin" "is" "furry" "-")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Harry is not big.
("Harry" "is" "big" "-")
Harry is not furry.
("Harry" "is" "furry" "-")
Harry is green.
("Harry" "is" "green" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Big people are smart.
((("someone" "is" "big" "+")) -> ("someone" "is" "smart" "+"))
Harry is not big.
True
1
proof
[(triple9)]
("Harry" "is" "big" "-")
triple9
Erin is not smart.
False
1
inv-proof
[(triple8 OR ((triple3) -> rule1))]
("Erin" "is" "smart" "-")
triple8
((triple3) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Charlie is not smart.
Unknown
inv-rconc
[@1: Charlie is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "smart" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
@0: Charlie is green.[(triple1)] Charlie is kind.[(triple2)] Erin is big.[(triple3)] Erin is blue.[(triple4)] Erin is kind.[(triple6)] Erin is not furry.[(triple5)] Erin is round.[(triple7)] Erin is smart.[(triple8 OR ((triple3) -> rule1))] Harry is green.[(triple11)] Harry is not big.[(triple9)] Harry is not furry.[(triple10)] Harry is smart.[(triple12)]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Erin is big.
("Erin" "is" "big" "+")
triple3
Erin is blue.
("Erin" "is" "blue" "+")
triple4
Erin is kind.
("Erin" "is" "kind" "+")
triple6
Erin is not furry.
("Erin" "is" "furry" "-")
triple5
Erin is round.
("Erin" "is" "round" "+")
triple7
Erin is smart.
("Erin" "is" "smart" "+")
triple8
((triple3) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
triple11
Harry is not big.
("Harry" "is" "big" "-")
triple9
Harry is not furry.
("Harry" "is" "furry" "-")
triple10
Harry is smart.
("Harry" "is" "smart" "+")
triple12