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