Bob is blue. Charlie is kind. Charlie is red. Erin is nice. Erin is red. Harry is blue. Harry is furry. All nice people are round.
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is furry.
("Harry" "is" "furry" "+")
All nice people are round.
((("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
Charlie is kind.
True
1
proof
[(triple2)]
("Charlie" "is" "kind" "+")
triple2
Harry is not blue.
False
1
inv-proof
[(triple6)]
("Harry" "is" "blue" "-")
triple6
Erin is round.
True
2
proof
[(((triple4) -> rule1))]
("Erin" "is" "round" "+")
((triple4) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is not round.
False
2
inv-proof
[(((triple4) -> rule1))]
("Erin" "is" "round" "-")
((triple4) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "round" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "round" "+")
Charlie is not smart.
Unknown
inv-random
[@0: Charlie is smart.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "smart" "-")
Harry is smart.
Unknown
random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "+")
@0: Bob is blue.[(triple1)] Charlie is kind.[(triple2)] Charlie is red.[(triple3)] Erin is nice.[(triple4)] Erin is red.[(triple5)] Harry is blue.[(triple6)] Harry is furry.[(triple7)] @1: Erin is round.[(((triple4) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Erin is nice.
("Erin" "is" "nice" "+")
triple4
Erin is red.
("Erin" "is" "red" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple6
Harry is furry.
("Harry" "is" "furry" "+")
triple7
Erin is round.
("Erin" "is" "round" "+")
((triple4) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1