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