Bob is big. Bob is cold. Bob is furry. Bob is smart. Bob is young. Dave is big. Dave is cold. Dave is nice. Fiona is cold. Harry is cold. Harry is furry. Harry is young. All furry people are big. Cold people are furry.
Bob is big.
("Bob" "is" "big" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is young.
("Harry" "is" "young" "+")
All furry people are big.
((("someone" "is" "furry" "+")) -> ("someone" "is" "big" "+"))
Cold people are furry.
((("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
Bob is big.
True
1
proof
[(triple1 OR ((triple3) -> rule1) OR ((((triple2) -> rule2)) -> rule1))]
("Bob" "is" "big" "+")
triple1
((triple3) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is not smart.
False
1
inv-proof
[(triple4)]
("Bob" "is" "smart" "-")
triple4
Fiona is furry.
True
2
proof
[(((triple9) -> rule2))]
("Fiona" "is" "furry" "+")
((triple9) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Harry is not big.
False
2
inv-proof
[(((triple11) -> rule1) OR ((((triple10) -> rule2)) -> rule1))]
("Harry" "is" "big" "-")
((triple11) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((((triple10) -> (rule2 % int2))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Fiona is big.
True
3
proof
[(((((triple9) -> rule2)) -> rule1))]
("Fiona" "is" "big" "+")
((((triple9) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is not big.
False
3
inv-proof
[(((((triple9) -> rule2)) -> rule1))]
("Fiona" "is" "big" "-")
((((triple9) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
@0: Bob is big.[(triple1 OR ((triple3) -> rule1) OR ((((triple2) -> rule2)) -> rule1))] Bob is cold.[(triple2)] Bob is furry.[(triple3 OR ((triple2) -> rule2))] Bob is smart.[(triple4)] Bob is young.[(triple5)] Dave is big.[(triple6 OR ((((triple7) -> rule2)) -> rule1))] Dave is cold.[(triple7)] Dave is nice.[(triple8)] Fiona is cold.[(triple9)] Harry is cold.[(triple10)] Harry is furry.[(triple11 OR ((triple10) -> rule2))] Harry is young.[(triple12)] @1: Dave is furry.[(((triple7) -> rule2))] Fiona is furry.[(((triple9) -> rule2))] Harry is big.[(((triple11) -> rule1) OR ((((triple10) -> rule2)) -> rule1))] @2: Fiona is big.[(((((triple9) -> rule2)) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
((triple3) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is furry.
("Bob" "is" "furry" "+")
triple3
((triple2) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple5
Dave is big.
("Dave" "is" "big" "+")
triple6
((((triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
triple7
Dave is nice.
("Dave" "is" "nice" "+")
triple8
Fiona is cold.
("Fiona" "is" "cold" "+")
triple9
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is furry.
("Harry" "is" "furry" "+")
triple11
((triple10) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
triple12
Dave is furry.
("Dave" "is" "furry" "+")
((triple7) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple9) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple11) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((((triple10) -> (rule2 % int2))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
((((triple9) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2