Bob is cold. Bob is quiet. Bob is rough. Charlie is quiet. Erin is cold. Erin is rough. Erin is young. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is young. All cold people are round. If someone is round then they are young.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is young.
("Fiona" "is" "young" "+")
All cold people are round.
((("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is round then they are young.
((("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
Fiona is rough.
True
1
proof
[(triple11)]
("Fiona" "is" "rough" "+")
triple11
Erin is not rough.
False
1
inv-proof
[(triple6)]
("Erin" "is" "rough" "-")
triple6
Bob is round.
True
2
proof
[(((triple1) -> rule1))]
("Bob" "is" "round" "+")
((triple1) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Erin is not round.
False
2
inv-proof
[(((triple5) -> rule1))]
("Erin" "is" "round" "-")
((triple5) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Bob is young.
True
3
proof
[(((((triple1) -> rule1)) -> rule2))]
("Bob" "is" "young" "+")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is not young.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule2))]
("Bob" "is" "young" "-")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Fiona is not round.
Unknown
inv-rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "round" "-")
Charlie is round.
Unknown
rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "round" "+")
Charlie is not young.
Unknown
inv-rconc
[@2: Charlie is young.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Charlie" "is" "young" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Bob is cold.[(triple1)] Bob is quiet.[(triple2)] Bob is rough.[(triple3)] Charlie is quiet.[(triple4)] Erin is cold.[(triple5)] Erin is rough.[(triple6)] Erin is young.[(triple7 OR ((((triple5) -> rule1)) -> rule2))] Fiona is nice.[(triple8)] Fiona is quiet.[(triple9)] Fiona is red.[(triple10)] Fiona is rough.[(triple11)] Fiona is young.[(triple12)] @1: Bob is round.[(((triple1) -> rule1))] Erin is round.[(((triple5) -> rule1))] @2: Bob is young.[(((((triple1) -> rule1)) -> rule2))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple4
Erin is cold.
("Erin" "is" "cold" "+")
triple5
Erin is rough.
("Erin" "is" "rough" "+")
triple6
Erin is young.
("Erin" "is" "young" "+")
triple7
((((triple5) -> (rule1 % int2))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple9
Fiona is red.
("Fiona" "is" "red" "+")
triple10
Fiona is rough.
("Fiona" "is" "rough" "+")
triple11
Fiona is young.
("Fiona" "is" "young" "+")
triple12
Bob is round.
("Bob" "is" "round" "+")
((triple1) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
((triple5) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2