Anne is nice. Anne is quiet. Bob is blue. Bob is green. Bob is nice. Bob is quiet. Erin is nice. Erin is quiet. Erin is smart. Fiona is nice. Blue things are young. All nice things are blue.
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Blue things are young.
((("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
All nice things are blue.
((("something" "is" "nice" "+")) -> ("something" "is" "blue" "+"))
Anne is quiet.
True
1
proof
[(triple2)]
("Anne" "is" "quiet" "+")
triple2
Bob is not blue.
False
1
inv-proof
[(triple3 OR ((triple5) -> rule2))]
("Bob" "is" "blue" "-")
triple3
((triple5) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Anne is not smart.
Unknown
inv-random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "-")
Bob is smart.
Unknown
random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "+")
@0: Anne is nice.[(triple1)] Anne is quiet.[(triple2)] Bob is blue.[(triple3 OR ((triple5) -> rule2))] Bob is green.[(triple4)] Bob is nice.[(triple5)] Bob is quiet.[(triple6)] Erin is nice.[(triple7)] Erin is quiet.[(triple8)] Erin is smart.[(triple9)] Fiona is nice.[(triple10)] @1: Anne is blue.[(((triple1) -> rule2))] Bob is young.[(((triple3) -> rule1) OR ((((triple5) -> rule2)) -> rule1))] Erin is blue.[(((triple7) -> rule2))] Fiona is blue.[(((triple10) -> rule2))] @2: Anne is young.[(((((triple1) -> rule2)) -> rule1))] Erin is young.[(((((triple7) -> rule2)) -> rule1))] Fiona is young.[(((((triple10) -> rule2)) -> rule1))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Bob is blue.
("Bob" "is" "blue" "+")
triple3
((triple5) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
triple4
Bob is nice.
("Bob" "is" "nice" "+")
triple5
Bob is quiet.
("Bob" "is" "quiet" "+")
triple6
Erin is nice.
("Erin" "is" "nice" "+")
triple7
Erin is quiet.
("Erin" "is" "quiet" "+")
triple8
Erin is smart.
("Erin" "is" "smart" "+")
triple9
Fiona is nice.
("Fiona" "is" "nice" "+")
triple10
Anne is blue.
("Anne" "is" "blue" "+")
((triple1) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((triple3) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((((triple5) -> (rule2 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
((triple7) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple10) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
((((triple7) -> (rule2 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
((((triple10) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2