Bob is big. Bob is furry. Bob is quiet. Dave is cold. Dave is quiet. Dave is round. Erin is big. Erin is furry. Erin is nice. Erin is smart. Fiona is cold. Fiona is smart. All round, quiet things are nice.
Bob is big.
("Bob" "is" "big" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is round.
("Dave" "is" "round" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
All round, quiet things are nice.
((("something" "is" "round" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "nice" "+"))
Bob is big.
True
1
proof
[(triple1)]
("Bob" "is" "big" "+")
triple1
Erin is not smart.
False
1
inv-proof
[(triple10)]
("Erin" "is" "smart" "-")
triple10
Dave is nice.
True
3
proof
[(((triple6 triple5) -> rule1))]
("Dave" "is" "nice" "+")
((triple6 triple5) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is not nice.
False
3
inv-proof
[(((triple6 triple5) -> rule1))]
("Dave" "is" "nice" "-")
((triple6 triple5) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "nice" "-")
Fiona is nice.
Unknown
rconc
[@1: Fiona is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "nice" "+")
Erin is not round.
Unknown
inv-random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "-")
Dave is furry.
Unknown
random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "+")
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is quiet.[(triple3)] Dave is cold.[(triple4)] Dave is quiet.[(triple5)] Dave is round.[(triple6)] Erin is big.[(triple7)] Erin is furry.[(triple8)] Erin is nice.[(triple9)] Erin is smart.[(triple10)] Fiona is cold.[(triple11)] Fiona is smart.[(triple12)] @1: Dave is nice.[(((triple6 triple5) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
Dave is cold.
("Dave" "is" "cold" "+")
triple4
Dave is quiet.
("Dave" "is" "quiet" "+")
triple5
Dave is round.
("Dave" "is" "round" "+")
triple6
Erin is big.
("Erin" "is" "big" "+")
triple7
Erin is furry.
("Erin" "is" "furry" "+")
triple8
Erin is nice.
("Erin" "is" "nice" "+")
triple9
Erin is smart.
("Erin" "is" "smart" "+")
triple10
Fiona is cold.
("Fiona" "is" "cold" "+")
triple11
Fiona is smart.
("Fiona" "is" "smart" "+")
triple12
Dave is nice.
("Dave" "is" "nice" "+")
((triple6 triple5) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1