Bob is blue. Bob is furry. Bob is not green. Bob is nice. Bob is rough. Bob is not round. Bob is smart. Erin is furry. Erin is round. Erin is smart. Fiona is green. Fiona is round. All green things are not rough. All round things are green.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is not green.
("Bob" "is" "green" "-")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is not round.
("Bob" "is" "round" "-")
Bob is smart.
("Bob" "is" "smart" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is round.
("Fiona" "is" "round" "+")
All green things are not rough.
((("something" "is" "green" "+")) -> ("something" "is" "rough" "-"))
All round things are green.
((("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
Bob is not round.
True
1
proof
[(triple6)]
("Bob" "is" "round" "-")
triple6
Bob is not blue.
False
1
inv-proof
[(triple1)]
("Bob" "is" "blue" "-")
triple1
Fiona is not rough.
True
2
proof
[(((triple11) -> rule1) OR ((((triple12) -> rule2)) -> rule1))]
("Fiona" "is" "rough" "-")
((triple11) -> (rule1 % int1))
Fiona is not rough.
("Fiona" "is" "rough" "-")
int1
((((triple12) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is not rough.
("Fiona" "is" "rough" "-")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is rough.
False
2
inv-proof
[(((triple11) -> rule1) OR ((((triple12) -> rule2)) -> rule1))]
("Fiona" "is" "rough" "+")
((triple11) -> (rule1 % int1))
Fiona is not rough.
("Fiona" "is" "rough" "-")
int1
((((triple12) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is not rough.
("Fiona" "is" "rough" "-")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Erin is not rough.
True
3
proof
[(((((triple9) -> rule2)) -> rule1))]
("Erin" "is" "rough" "-")
((((triple9) -> (rule2 % int2))) -> (rule1 % int1))
Erin is not rough.
("Erin" "is" "rough" "-")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is rough.
False
3
inv-proof
[(((((triple9) -> rule2)) -> rule1))]
("Erin" "is" "rough" "+")
((((triple9) -> (rule2 % int2))) -> (rule1 % int1))
Erin is not rough.
("Erin" "is" "rough" "-")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is not nice.
Unknown
inv-random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
Fiona is not blue.
Unknown
inv-random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "-")
Erin is blue.
Unknown
random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "+")
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "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 nice.[(triple4)] Bob is not green.[(triple3)] Bob is not round.[(triple6)] Bob is rough.[(triple5)] Bob is smart.[(triple7)] Erin is furry.[(triple8)] Erin is round.[(triple9)] Erin is smart.[(triple10)] Fiona is green.[(triple11 OR ((triple12) -> rule2))] Fiona is round.[(triple12)] @1: Erin is green.[(((triple9) -> rule2))] Fiona is not rough.[(((triple11) -> rule1) OR ((((triple12) -> rule2)) -> rule1))] @2: Erin is not rough.[(((((triple9) -> rule2)) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple4
Bob is not green.
("Bob" "is" "green" "-")
triple3
Bob is not round.
("Bob" "is" "round" "-")
triple6
Bob is rough.
("Bob" "is" "rough" "+")
triple5
Bob is smart.
("Bob" "is" "smart" "+")
triple7
Erin is furry.
("Erin" "is" "furry" "+")
triple8
Erin is round.
("Erin" "is" "round" "+")
triple9
Erin is smart.
("Erin" "is" "smart" "+")
triple10
Fiona is green.
("Fiona" "is" "green" "+")
triple11
((triple12) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
triple12
Erin is green.
("Erin" "is" "green" "+")
((triple9) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Fiona is not rough.
("Fiona" "is" "rough" "-")
((triple11) -> (rule1 % int1))
Fiona is not rough.
("Fiona" "is" "rough" "-")
int1
((((triple12) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is not rough.
("Fiona" "is" "rough" "-")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Erin is not rough.
("Erin" "is" "rough" "-")
((((triple9) -> (rule2 % int2))) -> (rule1 % int1))
Erin is not rough.
("Erin" "is" "rough" "-")
int1
Erin is green.
("Erin" "is" "green" "+")
int2