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