Bob is blue. Bob is furry. Bob is green. Bob is nice. Bob is quiet. Bob is smart. Bob is young. Erin is smart. Fiona is blue. Fiona is green. Fiona is nice. Fiona is smart. Gary is green. Gary is nice. Gary is quiet. Gary is smart. If someone is nice then they are young. All quiet people are nice. Quiet people are young.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is smart.
("Gary" "is" "smart" "+")
If someone is nice then they are young.
((("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
All quiet people are nice.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "nice" "+"))
Quiet people are young.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
Fiona is green.
True
1
proof
[(triple10)]
("Fiona" "is" "green" "+")
triple10
Bob is not nice.
False
1
inv-proof
[(triple4 OR ((triple5) -> rule2))]
("Bob" "is" "nice" "-")
triple4
((triple5) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Erin is not nice.
Unknown
inv-rconc
[@1: Erin is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "nice" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is nice.[(triple4 OR ((triple5) -> rule2))] Bob is quiet.[(triple5)] Bob is smart.[(triple6)] Bob is young.[(triple7 OR ((triple4) -> rule1) OR ((triple5) -> rule3) OR ((((triple5) -> rule2)) -> rule1))] Erin is smart.[(triple8)] Fiona is blue.[(triple9)] Fiona is green.[(triple10)] Fiona is nice.[(triple11)] Fiona is smart.[(triple12)] Gary is green.[(triple13)] Gary is nice.[(triple14 OR ((triple15) -> rule2))] Gary is quiet.[(triple15)] Gary is smart.[(triple16)] @1: Fiona is young.[(((triple11) -> rule1))] Gary is young.[(((triple14) -> rule1) OR ((triple15) -> rule3) OR ((((triple15) -> rule2)) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple4
((triple5) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple5
Bob is smart.
("Bob" "is" "smart" "+")
triple6
Bob is young.
("Bob" "is" "young" "+")
triple7
((triple4) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((triple5) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((((triple5) -> (rule2 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
triple8
Fiona is blue.
("Fiona" "is" "blue" "+")
triple9
Fiona is green.
("Fiona" "is" "green" "+")
triple10
Fiona is nice.
("Fiona" "is" "nice" "+")
triple11
Fiona is smart.
("Fiona" "is" "smart" "+")
triple12
Gary is green.
("Gary" "is" "green" "+")
triple13
Gary is nice.
("Gary" "is" "nice" "+")
triple14
((triple15) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
triple15
Gary is smart.
("Gary" "is" "smart" "+")
triple16
Fiona is young.
("Fiona" "is" "young" "+")
((triple11) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple14) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((triple15) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((((triple15) -> (rule2 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2