Bob is kind. Bob is nice. Bob is smart. Erin is kind. Erin is nice. Erin is smart. Harry is big. Harry is furry. Harry is round. Harry is smart. Nice things are big. All round, nice things are kind.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Nice things are big.
((("something" "is" "nice" "+")) -> ("something" "is" "big" "+"))
All round, nice things are kind.
((("something" "is" "round" "+") ("something" "is" "nice" "+")) -> ("something" "is" "kind" "+"))
Harry is furry.
True
1
proof
[(triple8)]
("Harry" "is" "furry" "+")
triple8
Erin is not smart.
False
1
inv-proof
[(triple6)]
("Erin" "is" "smart" "-")
triple6
Erin is big.
True
2
proof
[(((triple5) -> rule1))]
("Erin" "is" "big" "+")
((triple5) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Bob is not big.
False
2
inv-proof
[(((triple2) -> rule1))]
("Bob" "is" "big" "-")
((triple2) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "kind" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
Erin is not rough.
Unknown
inv-random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Bob is kind.[(triple1)] Bob is nice.[(triple2)] Bob is smart.[(triple3)] Erin is kind.[(triple4)] Erin is nice.[(triple5)] Erin is smart.[(triple6)] Harry is big.[(triple7)] Harry is furry.[(triple8)] Harry is round.[(triple9)] Harry is smart.[(triple10)] @1: Bob is big.[(((triple2) -> rule1))] Erin is big.[(((triple5) -> rule1))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is smart.
("Bob" "is" "smart" "+")
triple3
Erin is kind.
("Erin" "is" "kind" "+")
triple4
Erin is nice.
("Erin" "is" "nice" "+")
triple5
Erin is smart.
("Erin" "is" "smart" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple7
Harry is furry.
("Harry" "is" "furry" "+")
triple8
Harry is round.
("Harry" "is" "round" "+")
triple9
Harry is smart.
("Harry" "is" "smart" "+")
triple10
Bob is big.
("Bob" "is" "big" "+")
((triple2) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
((triple5) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1