Bob is furry. Bob is kind. Bob is smart. Bob is young. Charlie is kind. Charlie is round. Charlie is smart. Charlie is young. Erin is furry. Erin is round. Fiona is furry. Fiona is kind. If something is blue and furry then it is smart. All smart things are young. Smart things are blue.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
If something is blue and furry then it is smart.
((("something" "is" "blue" "+") ("something" "is" "furry" "+")) -> ("something" "is" "smart" "+"))
All smart things are young.
((("something" "is" "smart" "+")) -> ("something" "is" "young" "+"))
Smart things are blue.
((("something" "is" "smart" "+")) -> ("something" "is" "blue" "+"))
Fiona is kind.
True
1
proof
[(triple12)]
("Fiona" "is" "kind" "+")
triple12
Charlie is not round.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "round" "-")
triple6
Bob is blue.
True
2
proof
[(((triple3) -> rule3))]
("Bob" "is" "blue" "+")
((triple3) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Charlie is not blue.
False
2
inv-proof
[(((triple7) -> rule3))]
("Charlie" "is" "blue" "-")
((triple7) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Fiona is not young.
Unknown
inv-rconc
[@3: Fiona is young.[CWA. Example of deepest failure = (rule2 <- rule1 <- rule3 <- FAIL)]]
("Fiona" "is" "young" "-")
Fiona is smart.
Unknown
rconc
[@2: Fiona is smart.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Fiona" "is" "smart" "+")
Erin is not white.
Unknown
inv-random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Bob is furry.[(triple1)] Bob is kind.[(triple2)] Bob is smart.[(triple3)] Bob is young.[(triple4 OR ((triple3) -> rule2))] Charlie is kind.[(triple5)] Charlie is round.[(triple6)] Charlie is smart.[(triple7)] Charlie is young.[(triple8 OR ((triple7) -> rule2))] Erin is furry.[(triple9)] Erin is round.[(triple10)] Fiona is furry.[(triple11)] Fiona is kind.[(triple12)] @1: Bob is blue.[(((triple3) -> rule3))] Charlie is blue.[(((triple7) -> rule3))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is smart.
("Bob" "is" "smart" "+")
triple3
Bob is young.
("Bob" "is" "young" "+")
triple4
((triple3) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple6
Charlie is smart.
("Charlie" "is" "smart" "+")
triple7
Charlie is young.
("Charlie" "is" "young" "+")
triple8
((triple7) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
triple9
Erin is round.
("Erin" "is" "round" "+")
triple10
Fiona is furry.
("Fiona" "is" "furry" "+")
triple11
Fiona is kind.
("Fiona" "is" "kind" "+")
triple12
Bob is blue.
("Bob" "is" "blue" "+")
((triple3) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple7) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1