Anne is cold. Anne is green. Anne is nice. Bob is blue. Bob is not kind. Bob is nice. Bob is round. Bob is young. Dave is green. Dave is round. Dave is young. Harry is blue. Harry is kind. Harry is nice. Harry is round. Harry is young. Young, round things are blue.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is not kind.
("Bob" "is" "kind" "-")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is young.
("Dave" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is young.
("Harry" "is" "young" "+")
Young, round things are blue.
((("something" "is" "young" "+") ("something" "is" "round" "+")) -> ("something" "is" "blue" "+"))
Dave is young.
True
1
proof
[(triple11)]
("Dave" "is" "young" "+")
triple11
Harry is not kind.
False
1
inv-proof
[(triple13)]
("Harry" "is" "kind" "-")
triple13
Anne is not blue.
Unknown
inv-rconc
[@1: Anne is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "blue" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3)] Bob is blue.[(triple4 OR ((triple8 triple7) -> rule1))] Bob is nice.[(triple6)] Bob is not kind.[(triple5)] Bob is round.[(triple7)] Bob is young.[(triple8)] Dave is green.[(triple9)] Dave is round.[(triple10)] Dave is young.[(triple11)] Harry is blue.[(triple12 OR ((triple16 triple15) -> rule1))] Harry is kind.[(triple13)] Harry is nice.[(triple14)] Harry is round.[(triple15)] Harry is young.[(triple16)] @1: Dave is blue.[(((triple11 triple10) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Bob is blue.
("Bob" "is" "blue" "+")
triple4
((triple8 triple7) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
triple6
Bob is not kind.
("Bob" "is" "kind" "-")
triple5
Bob is round.
("Bob" "is" "round" "+")
triple7
Bob is young.
("Bob" "is" "young" "+")
triple8
Dave is green.
("Dave" "is" "green" "+")
triple9
Dave is round.
("Dave" "is" "round" "+")
triple10
Dave is young.
("Dave" "is" "young" "+")
triple11
Harry is blue.
("Harry" "is" "blue" "+")
triple12
((triple16 triple15) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
triple13
Harry is nice.
("Harry" "is" "nice" "+")
triple14
Harry is round.
("Harry" "is" "round" "+")
triple15
Harry is young.
("Harry" "is" "young" "+")
triple16
Dave is blue.
("Dave" "is" "blue" "+")
((triple11 triple10) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1